WASM-based toolkit for encoding pseudo-boolean constraints into CNF for SAT solvers
published version 0.0.4, 15 days agoWASM-compiled version of CryptoMiniSat
published version 0.0.9, 12 days ago
WASM-based toolkit for encoding pseudo-boolean constraints into CNF for SAT solvers
WASM-compiled version of CryptoMiniSat