package z3

1. conf-c++ build
2. conf-python-3 build
3. conf-llvm os-distribution = "homebrew"
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. hardcaml-lua
5. kmt
6. nuscr >= "2.0.0"
7. ocaml-sat-solvers >= "0.7" & < "0.8"
8. universo

1. ocaml-option-bytecode-only