Popular repositories Loading

1. approxmc approxmc Public

   Approximate Model Counter

   C++ 76 26

2. bosphorus bosphorus Public

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

   C++ 69 19

3. pepin pepin Public

   A probabilistic approximate DNF counter

   C++ 36 1

4. manthan manthan Public

   Manthan for Boolean function synthesis

   Python 32 8

5. ganak ganak Public

   The first scalable probabilistic exact counter

   C++ 31 9

6. unigen unigen Public

   UniGen approximately uniform sampler

   C++ 28 5