Giters
BLACK - Bounded Lᴛʟ sAtisfiability ChecKer (black-sat)

BLACK - Bounded Lᴛʟ sAtisfiability ChecKer

black-sat

Geek Repo

Github PK Tool:Github PK Tool

BLACK - Bounded Lᴛʟ sAtisfiability ChecKer's repositories

black

BLACK (Bounded Lᴛʟ sAtisfiability ChecKer)

Language:C++License:MITStargazers:13Issues:7Issues:22

glucose

Local fork of the glucose SAT solver

Language:C++License:NOASSERTIONStargazers:1Issues:2Issues:0

clipp

easy to use, powerful & expressive command line argument parsing for modern C++ / single header / usage & doc generation

Language:C++License:MITStargazers:0Issues:0Issues:0

homebrew-black

Homebrew formulas for BLACK and related projects

Language:RubyStargazers:0Issues:2Issues:1

immer

Postmodern immutable and persistent data structures for C++ — value semantics at scale

Language:C++License:BSL-1.0Stargazers:0Issues:0Issues:0

purple

Expressive automated planner based on BLACK

Language:C++License:MITStargazers:0Issues:0Issues:0

sddpp

SDD++: a modern C++ wrapper for the SDD library

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

synthetico

Pure-past LTL synthesizer based on BLACK

Language:C++License:MITStargazers:0Issues:0Issues:0