implementation of a 2SAT solving algorithm employing internally Tarjan's strongly connected components algorithm
utkuboyar / 2sat-solver Goto Github PK
View Code? Open in Web Editor NEWimplementation of a 2SAT solving algorithm employing internally Tarjan's strongly connected components algorithm