Last released Apr 6, 2026
Bindings to Ganak, a high-performance exact model counter
Last released Apr 4, 2026
Bindings to ApproxMC, an approximate model counter
Bindings to CryptoMiniSat, an advanced SAT solver
Last released Apr 19, 2025
Bindings to CMSGen, uniform-like sampler
Last released Feb 8, 2024
Bindings to UniGen, an approximate sampler
Supported by
