A solution to 2SAT by formulating the clauses as a graph and finding strongly connected components
Primary LanguageJava
No issues in this repository yet.