avinash737 / dpll-sat-solver Public

forked from DeekshithShetty/dpll-sat-solver

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

A SAT solver for propositional logic following the DPLL architecture

0 stars 1 fork Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
benchmarks		benchmarks
LICENSE		LICENSE
README.md		README.md
build.sh		build.sh
example-1.cnf		example-1.cnf
example.cpp		example.cpp
example.py		example.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

Python 49.2%
C++ 40.5%
Shell 10.3%