@hackage / yices

Haskell programming interface to Yices SMT solver

Latest0.0.0.12

Dependencies

library:yices (3 dependencies)

@hackage / base Core data structures and operations
- Version: >=4 && <5
- License: BSD-3-Clause
@hackage / process Process libraries
- Version:
- License: BSD-3-Clause
@hackage / parsec Monadic parser combinators
- Version:
- License: BSD-2-Clause