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

Version on this page:0.1.4
LTS Haskell 9.18:0.1.4
Stackage Nightly 2017-12-14: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.

Depends on 3 packages:
Used by 1 package:
comments powered byDisqus