Description

Published: 24 Oct 2019

Dependencies (6)

  1. conf-c++ build
  2. conf-python-2-7 build
  3. conf-gmp
  4. num
  5. ocamlfind build
  6. ocaml < "5.0"

Reverse Dependencies (4)

  1. bap-primus-symbolic-executor < "2.5.0"
  2. kind2 < "1.5.0"
  3. kmt
  4. nuscr >= "2.0.0"

Conflicts

    None
Z3 solver

Install

Documentation github.com Edit opam file

Authors

  1. M
    MSR

Maintainers

  1. S
    simon@aestheticintegration.com

Sources

z3-4.8.6.tar.gz
md5=8b5468f18708351e13851e84eaa8edd4