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
Maintained by [email protected]

Module documentation for 0.1.4

This version can be pinned in stack with:[email protected]:e9e0c9681478d8712c007542688b7fd4521e22f7db4830e51c72443da8744bcf,2107

picosat provides bindings for the fast PicoSAT solver library.