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 |
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
Depends on 3 packages(full list with versions):