Name		Name	Last commit message	Last commit date
Latest commit History 50 Commits
input		input
src		src
.gitignore		.gitignore
README.md		README.md
compile.sh		compile.sh
report.pdf		report.pdf
requirements.txt		requirements.txt
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

Repository files navigation

See Report.pdf

About

Playing with restart optimizations on CDCL to gain a better appreciation

0 stars

0 watching

Report repository

Releases

Packages

Contributors

Languages