@hackage / smtlib-backends-tests

Testing SMT-LIB backends.

Latest0.3

Dependencies

library:smtlib-backends-tests (4 dependencies)

@hackage / tasty Modern and extensible testing framework
- Version: >=1.4.2 && <1.6
- License: MIT
@hackage / base Core data structures and operations
- Version: >=4.14 && <4.23
- License: BSD-3-Clause
@hackage / smtlib-backends Low-level functions for SMT-LIB-based interaction with SMT solvers.
- Version: >=0.3 && <0.5
- License: MIT
@hackage / tasty-hunit HUnit support for the Tasty test framework.
- Version: >=0.10.0 && <0.11
- License: MIT