Clause: added
ClauseReader: added
PapadimitriouAlgo: added
PapadimitriouAlgoTest: added
2sat0.txt: added
2sat1.txt: added
2sat2.txt: added
2sat3.txt: added
2sat4.txt: added
2sat5.txt: added
2sat6.txt: added