HidokuSatSolver

A program to solve Hidokus with MiniSat.

Name		Name	Last commit message	Last commit date
Latest commit History 64 Commits
competitionenvironment		competitionenvironment
easy		easy
hard		hard
more_hard		more_hard
unsolvable		unsolvable
.main.cpp.swo		.main.cpp.swo
.main.cpp.swp		.main.cpp.swp
README.md		README.md
a.out		a.out
callgrind.out.17794		callgrind.out.17794
callgrind.out.17799		callgrind.out.17799
callgrind.out.17800		callgrind.out.17800
callgrind.out.17900		callgrind.out.17900
callgrind.out.9023		callgrind.out.9023
callgrind.out.9041		callgrind.out.9041
callgrind.out.9042		callgrind.out.9042
hid.txt		hid.txt
inteam.zip		inteam.zip
logic.cnf		logic.cnf
logic2cnf		logic2cnf
main.cpp		main.cpp
main.cpp.orig		main.cpp.orig
main.cpp~		main.cpp~
out.txt		out.txt
result.txt		result.txt
stat.txt		stat.txt
test.cpp		test.cpp

Provide feedback