minisat
minisat copied to clipboard
agurfinkel
A minimalistic and high-performance SAT solver
Results
1
minisat issues
Sort by
recently updated
recently updated
newest added
I've been using [boolector with WASM](https://github.com/YoWASP/boolector), and boolector itself requires a SAT solver. I originally compiled `yowasp-boolector` with PicoSAT, but its performance ended up being unacceptable for many "real" problems....
