@hackage / smt

Interface to Satisfiability Modulo Theories solvers

Latest0.0.0.0

Dependencies

library:smt (3 dependencies)

@hackage / util Utilities
- Version:
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.7 && <5
- License: BSD-3-Clause
@hackage / base-unicode-symbols Unicode alternatives for common functions and operators
- Version:
- License: BSD-3-Clause

test:test (5 dependencies)

@hackage / tasty Modern and extensible testing framework
- Version: >=1.0
- License: MIT
@hackage / smt Interface to Satisfiability Modulo Theories solvers
- Version:
- License: BSD-3-Clause
@hackage / tasty-smallcheck SmallCheck support for the Tasty test framework.
- Version: >=0.8
- License: MIT
@hackage / smallcheck A property-based testing library
- Version: >=1.1.4
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.11 && <5
- License: BSD-3-Clause

benchmark:bench (3 dependencies)