@hackage minisat0.1

A Haskell bundle of the Minisat SAT solver

Categories
License
BSD-3-Clause
Maintainer
Links
Versions
- 0.1.3 Mon, 26 Feb 2024
- 0.1.2 Mon, 26 Feb 2024
- 0.1.1 Mon, 26 Feb 2024
- 0.1 Mon, 26 Feb 2024

Installation
In your cabal file:
Dependencies (3)
- base >=3 && <5
- async >=2.0.0.0
- zlib
Dependents (8)
@hackage/uuagc, @hackage/co-feldspar, @hackage/sat-simple, @hackage/acme-everything, @hackage/satchmo, @hackage/jukebox, Show all…