The latest version of z3-encoding is 0.3.0.0-0.
test:z3-encoding-test
Dependencies
- base lib:base >=4.9 && <4.10
- containers lib:containers >=0.5 && <0.6
- hspec lib:hspec >=1.3
- z3 lib:z3 >=4.1.0
- z3-encoding lib:z3-encoding >=0
Reverse dependencies
None.