Python3 implemention of algorithm from Aspvall, Plass, Tarjan '76. Finds a satisfying assignment for 2-CNF formulas in linear time using properties of SCCs.
Python3 implemention of algorithm from Aspvall, Plass, Tarjan '76. Finds a satisfying assignment for 2-CNF formulas in linear time using properties of SCCs.