DeekshithShetty / dpll-sat-solver Public

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

A SAT solver for propositional logic following the DPLL architecture

2 stars 1 fork Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
.vscode		.vscode
benchmarks		benchmarks
LICENSE		LICENSE
README.md		README.md
example-sat.cnf		example-sat.cnf
example-unsat.cnf		example-unsat.cnf
main.py		main.py
solve.sh		solve.sh

Repository files navigation

dpll-sat-solver

A SAT solver for propositional logic following the DPLL architecture

About

A SAT solver for propositional logic following the DPLL architecture

Report repository

Releases

No releases published

Packages

No packages published

Languages