picosat

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

Stackage Nightly 2017-04-22:0.1.4
Latest on Hackage:0.1.4
MIT licensed by Stephen Diehl
Maintained by stephen.m.diehl@gmail.com

Module documentation for 0.1.4

picosat provides bindings for the fast PicoSAT solver library.

Used by 1 package:
comments powered byDisqus