rp-APAI-SATsolver

SAT Solver for Advanced Programming in Artificial Intelligence.

usage: ./race.py ./random-cnfs2/benchmarks2or- walksat_solver.py

Name		Name	Last commit message	Last commit date
Latest commit History 35 Commits
testing/benchmarks		testing/benchmarks
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
SATwannabe.py		SATwannabe.py
create-cnf.sh		create-cnf.sh
greedy_solver.py		greedy_solver.py
minisat		minisat
race.py		race.py
rnd-cnf-gen.py		rnd-cnf-gen.py
rnd-graph-gen.py		rnd-graph-gen.py
unsatisfactible_cnf.sh		unsatisfactible_cnf.sh

Provide feedback