@hackage smtlib-backends-tests0.3

Testing SMT-LIB backends.

Installation
In your cabal file:
Dependencies (4)
- base >=4.14 && <4.23
- smtlib-backends >=0.3 && <0.5
- tasty >=1.4.2 && <1.6
- tasty-hunit >=0.10.0 && <0.11
Dependents (2)
@hackage/smtlib-backends-process, @hackage/smtlib-backends-z3

This library provides common functions and values used for testing SMT-LIB backends, as provided by the smtlib-backends library.