minisat

A Haskell bundle of the Minisat SAT solver

Stackage Nightly 2025-05-28:0.1.3@rev:1
Latest on Hackage:0.1.3@rev:1

See all snapshots minisat appears in

BSD-3-Clause licensed and maintained
This version can be pinned in stack with:minisat-0.1.3@sha256:73b390359d562bc54a6c3ffdf823844bc0cbdf3b4db244b368c8be591d18b7c0,1239

Module documentation for 0.1.3

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