Name		Name	Last commit message	Last commit date
cbits		cbits
minisat		minisat
samples		samples
src		src
test		test
.gitignore		.gitignore
.travis.yml		.travis.yml
COPYING		COPYING
MiniSat2.cabal		MiniSat2.cabal
README.md		README.md
Setup.hs		Setup.hs

Repository files navigation

MiniSat2

Low-level MiniSat2 wrapper.

About

Low-level Haskell binding of Minisat

5 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages