boumc

Building

Run make clean all. Actually, the scripts run-part1 and run-part2 also run make before executing the program.

A slightly modified version of MiniSat is included.

Name		Name	Last commit message	Last commit date
Latest commit History 44 Commits
MiniSat-p_v1.14		MiniSat-p_v1.14
examples		examples
misc		misc
tests		tests
.clang-format		.clang-format
.gitignore		.gitignore
Makefile		Makefile
README.md		README.md
aag.cpp		aag.cpp
aag.h		aag.h
cnfer.cpp		cnfer.cpp
cnfer.h		cnfer.h
dimacs.cpp		dimacs.cpp
dimacs.h		dimacs.h
main.cpp		main.cpp
run-part1		run-part1
run-part2		run-part2
translate.cpp		translate.cpp
translate.h		translate.h