Pinned Loading

1. cryptominisat cryptominisat Public

   An advanced SAT solver

   C++ 845 194

2. meelgroup/approxmc meelgroup/approxmc Public

   Approximate Model Counter

   C++ 76 26

3. meelgroup/bosphorus meelgroup/bosphorus Public

   Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter

   C++ 69 19

4. meelgroup/arjun meelgroup/arjun Public

   CNF minimizer and minimal independent set minimizer

   C++ 18 5

5. grainofsalt grainofsalt Public

   Grain of Salt equation generator

   C 16 5