package z3

1. conf-c++ build
2. conf-python-3 build
3. conf-gmp
4. zarith
5. ocamlfind build
6. ocaml >= "4.08.0"

None

1. asli >= "0.2.0"
2. bap-primus-symbolic-executor < "2.5.0"
3. catala = "0.6.0"
4. encoding < "0.0.2"
5. hardcaml-lua
6. kmt
7. nuscr >= "2.0.0"
8. ocaml-sat-solvers >= "0.7"
9. universo
10. z3_tptp >= "4.11.2"

None