solveit

A basic SAT solver for propositional logic based on DPLL.

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
app		app
dist-newstyle		dist-newstyle
src		src
test		test
CHANGELOG.md		CHANGELOG.md
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
hie.yaml		hie.yaml
package.yaml		package.yaml
solveit.cabal		solveit.cabal
stack.yaml		stack.yaml
stack.yaml.lock		stack.yaml.lock

Provide feedback