Meel Group

Popular repositories Loading

1. approxmc approxmc Public

   Approximate Model Counter

   C++ 91 29

2. bosphorus bosphorus Public

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

   C++ 88 19

3. ganak ganak Public

   High-performance model counter

   C++ 65 14

4. pepin pepin Public

   A probabilistic approximate DNF counter

   C++ 41 1

5. unigen unigen Public

   UniGen approximately uniform sampler

   C++ 39 6

6. manthan manthan Public

   Manthan for Boolean function synthesis

   Python 36 9