z3

Z3 solver
Description
Install
Documentation github.com Edit opam file
Published
13 Sep 2022
Authors
Maintainers
Sources
z3-4.11.2.tar.gz
sha256=e3a82431b95412408a9c994466fad7252135c8ed3f719c986cd75c8c5f234c7e sha512=be2573d38c0e50b46fcb025d50335e016769fdeab3c26f5dc2a13102fae889d23039258ea8d38de3f53daa4cf073704d8639ac291e781a74633194adedaae21a
Dependencies
conf-c++ build
conf-python-3 build
conf-gmp
zarith
ocamlfind build
ocaml >= "4.08.0"
Reverse Dependencies
asli >= "0.2.0"
bap-primus-symbolic-executor < "2.5.0"
catala = "0.6.0"
kmt
nuscr >= "2.0.0"
ocaml-sat-solvers >= "0.7"
universo