Determines whether a 2-SAT problem is satisfiable using a Strongly Connected Component (SCC) algorithm approach
skzv / two-sat-scc-satisfiability-solver Goto Github PK
View Code? Open in Web Editor NEWDetermines whether a 2-SAT problem is satisfiable using a Strongly Connected Component (SCC) algorithm approach