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

AlbertQueiroz / SAT-Solver Public

Notifications You must be signed in to change notification settings
Fork 0
Star 2

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

2 stars 0 forks Branches Tags Activity

Star

Notifications

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

Activity

2 stars

2 watching

0 forks

Report repository