@hackage minisat dependencies

3 results

library:minisat (3 dependencies)

@haskell/base

Core data structures and operations

BSD-3-Clause>=3 && <5

@hackage/zlib

Compression and decompression in the gzip and zlib formats

@hackage/async

Run IO operations asynchronously and wait for their results

BSD-3-Clause>=2.0.0.0