Kosaraju algorithm for computing strongly connected components
Algorithm for solving the 2-SAT problem by reduction to SCCs (Kosaraju)
Satisfiable small test case for 2-SAT
Big test data for 2-SAT
Deleted too big test data
Deleted too big test data