BLACK - Bounded Lᴛʟ sAtisfiability ChecKer

Pinned Repositories

black
BLACK (Bounded Lᴛʟ sAtisfiability ChecKer)
Language:C++14 7 235
clipp
easy to use, powerful & expressive command line argument parsing for modern C++ / single header / usage & doc generation
Language:C++0 1 00
glucose
Local fork of the glucose SAT solver
Language:C++1 2 00
homebrew-black
Homebrew formulas for BLACK and related projects
Language:Ruby0 2 30
immer
Postmodern immutable and persistent data structures for C++ — value semantics at scale
Language:C++0 0 00
purple
Expressive automated planner based on BLACK
Language:C++0 1 00
sddpp
SDD++: a modern C++ wrapper for the SDD library
Language:C00
synthetico
Pure-past LTL synthesizer based on BLACK
Language:C++0 1 11

BLACK - Bounded Lᴛʟ sAtisfiability ChecKer's Repositories

black-sat/black
BLACK (Bounded Lᴛʟ sAtisfiability ChecKer)
Language:C++14 7 235
black-sat/glucose
Local fork of the glucose SAT solver
Language:C++1 2 00
black-sat/clipp
easy to use, powerful & expressive command line argument parsing for modern C++ / single header / usage & doc generation
Language:C++0 1 00
black-sat/homebrew-black
Homebrew formulas for BLACK and related projects
Language:Ruby0 2 30
black-sat/immer
Postmodern immutable and persistent data structures for C++ — value semantics at scale
Language:C++0 0 00
black-sat/purple
Expressive automated planner based on BLACK
Language:C++0 1 00
black-sat/sddpp
SDD++: a modern C++ wrapper for the SDD library
Language:C00
black-sat/synthetico
Pure-past LTL synthesizer based on BLACK
Language:C++0 1 11