Name		Name	Last commit message	Last commit date
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

Repository files navigation

solveit

A basic SAT solver for propositional logic based on DPLL.

About

A simple SAT solver in Haskell

2 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages