GeezerVison is showing github.com — BLACK - Bounded Lᴛʟ sAtisfiability ChecKer
Pinned
Loading
BLACK (Bounded Lᴛʟ sAtisfiability ChecKer)
C++
27
10
Repositories
Loading
Type
All
Public
Sources
Forks
Archived
Mirrors
Templates
Language
Sort
Showing 8 of 8 repositories
black
Public
BLACK (Bounded Lᴛʟ sAtisfiability ChecKer)
black-sat/black's past year of commit activity
C++
27
MIT
10
3
1
Updated Nov 8, 2026
homebrew-black
Public
Homebrew formulas for BLACK and related projects
black-sat/homebrew-black's past year of commit activity
Ruby
0
0
0
0
Updated Aug 19, 2026
synthetico
Public
Pure-past LTL synthesizer based on BLACK
black-sat/synthetico's past year of commit activity
C++
0
MIT
1
0
0
Updated Aug 19, 2024
immer
Public
Forked from
arximboldi/immer
Postmodern immutable and persistent data structures for C++ — value semantics at scale
black-sat/immer's past year of commit activity
C++
0
BSL-1.0
216
0
0
Updated Apr 28, 2024
purple
Public
Expressive automated planner based on BLACK
black-sat/purple's past year of commit activity
C++
0
MIT
0
0
0
Updated May 15, 2023
sddpp
Public
SDD++: a modern C++ wrapper for the SDD library
black-sat/sddpp's past year of commit activity
C
1
1
0
0
Updated Apr 8, 2023
clipp
Public
Forked from
muellan/clipp
easy to use, powerful & expressive command line argument parsing for modern C++ / single header / usage & doc generation
black-sat/clipp's past year of commit activity
C++
0
MIT
155
0
0
Updated Jun 12, 2022
glucose
Public
Local fork of the glucose SAT solver
black-sat/glucose's past year of commit activity
C++
1
0
0
0
Updated Aug 9, 2020
Uh oh!
There was an error while loading. Please reload this page.
Most used topics
Loading…
Uh oh!
There was an error while loading. Please reload this page.