Geek Repo
Github PK Tool:Github PK Tool
A super simple SAT solver.
Candy Reduced to its Core
Stable Watches for CaDiCaL
Command-line utility for evaluating gatekit
Generic algorithms and data structures related to gate constraints in SAT CNF problems