2-SAT Solver
Determine satisfiability of a two-variable-per-clause Boolean formula using implication graphs.
About this tool
Determine satisfiability of a two-variable-per-clause Boolean formula using implication graphs. All processing is performed locally in your browser.