GitHub - papanton/GitSATSolver

Name	Name	Last commit message	Last commit date
Latest commit papanton testFiles commit Mar 27, 2015 70d8182 · Mar 27, 2015 History 3 Commits
CNF_Converter.py	CNF_Converter.py	initial commit	Mar 27, 2015
DPP_SAT.py	DPP_SAT.py	initial commit	Mar 27, 2015
SATtest.txt	SATtest.txt	testFiles commit	Mar 27, 2015
sentences.txt	sentences.txt	testFiles commit	Mar 27, 2015