@hackage satplus dependencies

2 results

library:satplus (2 dependencies)

@hackage/base

Core data structures and operations

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

@hackage/minisat

A Haskell bundle of the Minisat SAT solver

BSD-3-Clause>=0.1