david-xhk/solve-2sat

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

This repository is not active