picosat

Bindings to the PicoSAT solver

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

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.6@sha256:7d3130af636c6c8a0b373446a090daa15511d6cb0b264f4b921fa5d4a81b59a3,2138

Module documentation for 0.1.6

picosat provides bindings for the fast PicoSAT solver library.