@hackage / minisat

A Haskell bundle of the Minisat SAT solver

Latest0.1.4

Dependencies

library:minisat (2 dependencies)

@hackage / base Core data structures and operations
- Version: >=3 && <5
- License: BSD-3-Clause
@hackage / async Run IO operations asynchronously and wait for their results
- Version: >=2.0.0.0
- License: BSD-3-Clause