/solve-2sat

A linear time complexity 2-SAT Solver based on strongly-connected components in an implication graph.

Primary LanguagePython

No issues in this repository yet.