This repository is not active
david-xhk/solve-2sat
A linear time complexity 2-SAT Solver based on strongly-connected components in an implication graph.
Python
A linear time complexity 2-SAT Solver based on strongly-connected components in an implication graph.
Python
This repository is not active