GitHub - AlbertQueiroz/SAT-Solver: SAT Solver using DPLL method in python. It can receive an archive in a specifc format with propositional logic formulas and return a valuation that satisfies them

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 12 Commits
.vscode		.vscode
__pycache__		__pycache__
modelagem		modelagem
pysat		pysat
DPLL.py		DPLL.py
entrada_cnf.txt		entrada_cnf.txt
manipulacao_arquivo_cnf.py		manipulacao_arquivo_cnf.py
resultado.txt		resultado.txt
testando_pysat.py		testando_pysat.py

About

SAT Solver using DPLL method in python. It can receive an archive in a specifc format with propositional logic formulas and return a valuation that satisfies them