Popular repositories

1. approxmc approxmc Public

   Approximate Model Counter

   C++ 68 24

2. bosphorus bosphorus Public

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

   C++ 63 18

3. manthan manthan Public

   Manthan for Boolean function synthesis

   Python 28 7

4. unigen unigen Public

   UniGen approximately uniform sampler

   C++ 23 4

5. ganak ganak Public

   The first scalable probabilistic exact counter

   C++ 22 5

6. KCBox KCBox Public

   A toolbox for knowledge compilation

   C++ 20 4