@hackage minisat0.1.4

A Haskell bundle of the Minisat SAT solver

Categories
License
BSD-3-Clause
Maintainer
Links
Versions
- 0.1.4 Sat, 12 Jul 2025
- 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 (2)
- base >=3 && <5
- async >=2.0.0.0
- system-cxx-std-lib ==1.0
Dependents (8)
@hackage/uuagc, @hackage/co-feldspar, @hackage/sat-simple, @hackage/acme-everything, @hackage/satchmo, @hackage/jukebox, Show all…