@hackage yices dependencies

4 results

library:yices (4 dependencies)

@haskell/process

Process libraries

@haskell/parsec

Monadic parser combinators

@haskell/base

Core data structures and operations

BSD-3-Clause>=2 && <6

@hackage/haskell98

Compatibility with Haskell 98