GitHub - dddejan/cutsat: Integer programming with conflict-driven cutting planes

Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
.settings		.settings
debian		debian
doc		doc
src		src
test		test
.cproject		.cproject
.gitignore		.gitignore
.project		.project
CMakeLists.txt		CMakeLists.txt
COPYING		COPYING
INSTALL		INSTALL
README		README
cutsat.kdev4		cutsat.kdev4