picosat

Bindings to the PicoSAT solver https://github.com/sdiehl/haskell-picosat

Latest on Hackage:0.1.6

See all snapshots picosat appears in

MIT licensed by Stephen Diehl

Module documentation for 0.1.5

This version can be pinned in stack with:picosat-0.1.5@sha256:e0626c0ae0218ad24d97b7ec509aecaa9334ac30a3099e470260bf52db84d2f1,2107

picosat provides bindings for the fast PicoSAT solver library.