Last released Jul 14, 2024
Bindings to CryptoMiniSat, an advanced SAT solver
Last released Feb 8, 2024
Bindings to UniGen, an approximate sampler
Bindings to ApproxMC, an approximate model counter
Last released Feb 7, 2024
Bindings to CMSGen, uniform-like sampler
Supported by