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. kmt
5. nuscr >= "2.0.0"
6. ocaml-sat-solvers >= "0.7"
7. universo
8. z3_tptp = "4.10.1"

None