picosat

Bindings to the PicoSAT solver

https://github.com/sdiehl/haskell-picosat

Version on this page:0.1.5
LTS Haskell 21.25:0.1.6
Stackage Nightly 2023-06-21:0.1.6
Latest on Hackage:0.1.6

See all snapshots picosat appears in

MIT licensed by Stephen Diehl
Maintained by [email protected]
This version can be pinned in stack with:picosat-0.1.5@sha256:e0626c0ae0218ad24d97b7ec509aecaa9334ac30a3099e470260bf52db84d2f1,2107

Module documentation for 0.1.5

picosat provides bindings for the fast PicoSAT solver library.