The latest version of z3 is 408.2-0.
lib:z3
Modules
Dependencies
- base lib:base >=4.5 && <5
- containers lib:containers >=0
- mtl lib:mtl >2.1
Reverse dependencies
Direct only. Not exhaustive.
- Quelea lib:Quelea
- acme-everything lib:acme-everything
- expressions-z3 lib:expressions-z3
- expressions-z3 test:test
- ez3 lib:ez3
- ntha lib:ntha
- z3 exe:examples
- z3 test:spec
- z3-encoding lib:z3-encoding
- z3-encoding test:z3-encoding-test