minisat-solver
High-level Haskell bindings for the MiniSat SAT solver.
http://www.mathstat.dal.ca/~selinger/minisat-solver/
LTS Haskell 21.24: | 0.1 |
Stackage Nightly 2023-12-11: | 0.1 |
Latest on Hackage: | 0.1 |
Maintained by selinger@mathstat.dal.ca
This version can be pinned in stack with:
minisat-solver-0.1@sha256:e2ff11b1ca8c66e43f8bb2e04f21bd1b812efb94ff215d74f998c928e7e92dcd,5210
Module documentation for 0.1
- SAT
Depends on 3 packages(full list with versions):
Used by 1 package in lts-12.26(full list with versions):