efficient-2SAT-solution

highly efficient 2SAT solution using only discovery array

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
2sat.py		2sat.py
2sat1.txt		2sat1.txt
2sat2.txt		2sat2.txt
2sat3.txt		2sat3.txt
2sat4.txt		2sat4.txt
2sat5.txt		2sat5.txt
2sat6.txt		2sat6.txt
README.md		README.md

Provide feedback