Statistical Physics - SAT-Solver

University Exam of Statistical Physics UNIFI, Implementation of a SAT Solver to demonstrate a critical region.

First experiment: Satisfiability

In the first case, we present the results of a SAT solver without heuristics.

In the second case, we present the results of a SAT solver with heuristics.

Name		Name	Last commit message	Last commit date
Latest commit History 18 Commits
Reference		Reference
output		output
Generation_CNF.py		Generation_CNF.py
README.md		README.md
SAT.py		SAT.py
main.py		main.py