GitHub - nchong/sat: simple dpll sat solver

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
ex		ex
README		README
dimacs.py		dimacs.py
listpred.py		listpred.py
sat.py		sat.py
solver.py		solver.py

Repository files navigation

Just for my own amusement, a simple sat solver using the DPLL algorithm.
Give the solver the filename of a DIMACS file or a formula (as a list-of-list of literals).

$ python solver.py ex/simple_v3_c2.cnf
$ python solver.py "[[-1,2],[-2,-3],[1,2],[1,3],[1,4],[2,3],[2,4],[3,4]]"