SolHOP Playground
GitHub
About
Test out
rsat
, a SAT solver.
Input
p cnf 2 3 1 0 -1 -2 0 1 2 0
Run solver
Output
This page contains webassembly and javascript content, please enable javascript in your browser.