minisat-solver
High-level Haskell bindings for the MiniSat SAT solver.
http://www.mathstat.dal.ca/~selinger/minisat-solver/
LTS Haskell 22.21: | 0.1 |
Stackage Nightly 2024-05-11: | 0.1 |
Latest on Hackage: | 0.1 |
Maintained by [email protected]
This version can be pinned in stack with:
minisat-solver-0.1@sha256:e2ff11b1ca8c66e43f8bb2e04f21bd1b812efb94ff215d74f998c928e7e92dcd,5210
Module documentation for 0.1
- SAT
- SAT.MiniSat
Depends on 3 packages(full list with versions):
Used by 1 package in nightly-2018-09-20(full list with versions):