GitHub - niklasso/minisat-haskell-bindings: Haskell-Bindings to MiniSat

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 24 Commits
.gitignore		.gitignore
Makefile		Makefile
MiniSat.hsc		MiniSat.hsc
README		README
Sat.hs		Sat.hs
SatImplicit.hs		SatImplicit.hs
Setup.lhs		Setup.lhs
TODO		TODO
TestMiniSat.hs		TestMiniSat.hs
hsc-magic.h		hsc-magic.h
minisat.cabal		minisat.cabal

Repository files navigation

- Configure using "make config" as in other libraries.

- Test with:

  > make
  > build/release/bin/test-minisatraw
  ...Ctrl-C

- Or:

  > make ghci
  ...
  Prelude Sat> withNewSolver (\s -> newLit s >>= \x -> addClause s [x] >> solve s []) :: IO Bool
  True
  Prelude Sat> withNewSolver (\s -> newLit s >>= \x -> addClause s [x] >> solve s [neg x]) :: IO Bool
  False