A linear time complexity 2-SAT Solver based on strongly-connected components in an implication graph.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool