The latest version of what4 is 1.6.2-0.
test:expr-builder-smtlib2
Dependencies
- base lib:base >=0
- bv-sized lib:bv-sized >=0
- bytestring lib:bytestring >=0
- containers lib:containers >=0
- data-binary-ieee754 lib:data-binary-ieee754 >=0
- hedgehog lib:hedgehog >=1.0.2
- libBF lib:libBF >=0
- parameterized-utils lib:parameterized-utils >=0
- prettyprinter lib:prettyprinter >=0
- process lib:process >=0
- tasty lib:tasty >=0.10
- tasty-checklist lib:tasty-checklist >=1.0.3 && <1.1
- tasty-expected-failure lib:tasty-expected-failure >=0.12 && <0.13
- tasty-hedgehog lib:tasty-hedgehog >=1.2
- tasty-hunit lib:tasty-hunit >=0.9
- text lib:text >=0
- versions lib:versions >=0
- what4 lib:what4 >=0
Reverse dependencies
None.