WASM-based toolkit for encoding pseudo-boolean constraints into CNF for SAT solvers
published 0.0.2 3 years agoWASM-compiled version of CryptoMiniSat
published 0.0.2 3 years ago
WASM-based toolkit for encoding pseudo-boolean constraints into CNF for SAT solvers
WASM-compiled version of CryptoMiniSat