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
5. hardcaml-lua
6. kmt
7. nuscr >= "2.0.0"
8. ocaml-sat-solvers >= "0.7"
9. smtml < "0.1.2"
10. universo

1. ocaml-option-bytecode-only