GitHub - aleixsegura/LocalSearch-SAT: A comparison between different local search algorithms and a implementation of a basic SAT solver.

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
checker.py		checker.py
clauses.txt		clauses.txt
generator.py		generator.py
nqueens.py		nqueens.py
nqueensgenetic.py		nqueensgenetic.py
report.pdf		report.pdf
solver.py		solver.py

About

A comparison between different local search algorithms and a implementation of a basic SAT solver.

No releases published