Approximate Model Counter
C++ 91 29
Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
C++ 88 19
High-performance model counter
C++ 65 13
A probabilistic approximate DNF counter
C++ 41 1
UniGen approximately uniform sampler
C++ 39 6
Manthan for Boolean function synthesis
Python 36 9
Automated Reasoning Library for Lean
FRAT proof processor with XOR extension
CNF preprocessor and functional synthesis tool
Model Counting Fuzzer
Flow Cutter, and other tools needed to perform tree decomposition
This organization has no public members. You must be a member to see who’s a part of this organization.
