GitHub - artemagvanian/sat-solver: Implementing a SAT solver for CS2951O.

Name		Name	Last commit message	Last commit date
Latest commit History 24 Commits
input		input
src		src
.gitignore		.gitignore
CMakeLists.txt		CMakeLists.txt
clean.sh		clean.sh
compile.sh		compile.sh
results.log		results.log
run.sh		run.sh
runAll.sh		runAll.sh
team.txt		team.txt
toy_infeasible.cnf		toy_infeasible.cnf
toy_simple.cnf		toy_simple.cnf
toy_solveable.cnf		toy_solveable.cnf