Pinned Loading

1. cryptominisat cryptominisat Public

   An advanced SAT solver

   C++ 823 182

2. meelgroup/approxmc meelgroup/approxmc Public

   Approximate Model Counter

   C++ 70 25

3. meelgroup/bosphorus meelgroup/bosphorus Public

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

   C++ 67 18

4. meelgroup/arjun meelgroup/arjun Public

   CNF minimizer and minimal independent set calculator

   C++ 15 2

5. grainofsalt grainofsalt Public

   Grain of Salt equation generator

   C 16 5