@hackage minisat0.1.3

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 (2)
- base >=3 && <5
- async
Dependents (5)
@hackage/uuagc, @hackage/co-feldspar, @hackage/sat-simple, @hackage/satchmo, @hackage/jukebox