Popular repositoriesLoading

1. approxmcapproxmcPublic

   Approximate Model Counter

   C++ 74 26

2. bosphorusbosphorusPublic

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

   C++ 69 18

3. pepinpepinPublic

   A probabilistic approximate DNF counter

   C++ 36 1

4. manthanmanthanPublic

   Manthan for Boolean function synthesis

   Python 32 8

5. ganakganakPublic

   The first scalable probabilistic exact counter

   C++ 31 8

6. unigenunigenPublic

   UniGen approximately uniform sampler

   C++ 27 5

This organization has no public members. You must be a member to see who’s a part of this organization.