minisat

A Haskell bundle of the Minisat SAT solver

LTS Haskell 24.0:0.1.4
Stackage Nightly 2025-07-14:0.1.4
Latest on Hackage:0.1.4

See all snapshots minisat appears in

BSD-3-Clause licensed and maintained
This version can be pinned in stack with:minisat-0.1.4@sha256:c0aaecbec2383b3bfa836295dbd0e57e6d8cf405fb124ea594f71d303a97ba9e,1765

Module documentation for 0.1.4

Depends on 2 packages(full list with versions):
async, base