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