The latest version of smtlib-backends-tests is 0.3-3.
lib:smtlib-backends-tests
Modules
Dependencies
- base lib:base >=4.14 && <4.17.0
- smtlib-backends lib:smtlib-backends >=0.2 && <0.3
- tasty lib:tasty >=1.4.2 && <1.5
- tasty-hunit lib:tasty-hunit >=0.10.0 && <0.11
Reverse dependencies
Direct only. Not exhaustive.
- smtlib-backends-process test:test
- smtlib-backends-z3 test:test