Introduction to Logic in Computer Science

Name		Name	Last commit message	Last commit date
Latest commit History 17 Commits
sample-simpson		sample-simpson
.gitignore		.gitignore
README.md		README.md
a		a
a.cpp		a.cpp
cnf.cpp		cnf.cpp
cnf.hpp		cnf.hpp
cnf_int.txt		cnf_int.txt
cnf_test.txt		cnf_test.txt
make.sh		make.sh
minisat		minisat
minisatForm.txt		minisatForm.txt
minisatOut.txt		minisatOut.txt
nonogram.cpp		nonogram.cpp
nonogram.cpp.fail		nonogram.cpp.fail
nonogram.hpp		nonogram.hpp
nonogram_20X20.txt		nonogram_20X20.txt
nonogram_3X3.txt		nonogram_3X3.txt
nonogram_4X4.txt		nonogram_4X4.txt
nonogram_6X6.txt		nonogram_6X6.txt
nonogram_parse.txt		nonogram_parse.txt
sample-simpson.tgz		sample-simpson.tgz
test.cnf		test.cnf
webpbn-00001.non		webpbn-00001.non

Provide feedback