Popular repositories Loading

1. minisat minisat Public

   Forked from niklasso/minisat

   A minimalistic and high-performance SAT solver

   C++ 144 14

2. pblib pblib Public

   A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF

   C++ 18 6

3. sharpSAT sharpSAT Public

   Forked from marcthurley/sharpSAT

   The #SAT solver sharpSAT

   C++ 3 1

4. branding branding Public

   Logos etc. for the master-keying organisation