@hackage / yices-easy

Simple interface to the Yices SMT (SAT modulo theories) solver.

Latest0.1

Dependencies

library:yices-easy (4 dependencies)

@hackage / bindings-yices Bindings to the Yices theorem prover
- Version: >=0.2
- License: LicenseRef-PublicDomain
@hackage / base Core data structures and operations
- Version: >=3 && <5
- License: BSD-3-Clause
@hackage / transformers Concrete functor and monad transformers
- Version: >=0.2
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.3
- License: BSD-3-Clause