Ubuntu
z3 package

z3 4.8.7-1 source package in Ubuntu

Changelog

z3 (4.8.7-1) unstable; urgency=medium

  * New upstream release.
  * Refresh patches.
  * Replace libnum-ocaml-dev build dependency with libzarith-ocaml-dev
    and add ocaml-findlib.
  * Use ocamlopt when available (instead of disabling it for all
    architectures).

 -- Fabian Wolff <email address hidden>  Sun, 08 Dec 2019 21:59:24 +0100

Upload details

Uploaded by:
LLVM Packaging Team
Uploaded to:
Sid
Original maintainer:
LLVM Packaging Team
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
z3_4.8.7-1.dsc 2.6 KiB 5aad4a6810f06400290ddc50607d7b1bc446888452790172bd3d482bed556aab
z3_4.8.7.orig.tar.gz 4.1 MiB 8c1c49a1eccf5d8b952dadadba3552b0eac67482b8a29eaad62aa7343a0732c3
z3_4.8.7-1.debian.tar.xz 10.9 KiB a55be50c7155f608e83b80f8068724a8661756bae70a03fbe4c12adf86341137

Available diffs

No changes file available.

Binary packages built by this source

libz3-4: theorem prover from Microsoft Research - runtime libraries

 Z3 is a state-of-the art theorem prover from Microsoft Research. It can be
 used to check the satisfiability of logical formulas over one or more
 theories. Z3 offers a compelling match for software analysis and verification
 tools, since several common software constructs map directly into supported
 theories.
 .
 This package contains runtime libraries. You shouldn't have to install it
 manually.

libz3-4-dbgsym: debug symbols for libz3-4
libz3-dev: theorem prover from Microsoft Research - development files

 Z3 is a state-of-the art theorem prover from Microsoft Research. It can be
 used to check the satisfiability of logical formulas over one or more
 theories. Z3 offers a compelling match for software analysis and verification
 tools, since several common software constructs map directly into supported
 theories.
 .
 This package can be used to invoke Z3 via its C++ API.

libz3-java: theorem prover from Microsoft Research - java bindings

 Z3 is a state-of-the art theorem prover from Microsoft Research. See the z3
 package for a detailed description.
 .
 This package can be used to invoke Z3 via its Java API.

libz3-jni: theorem prover from Microsoft Research - JNI library

 Z3 is a state-of-the art theorem prover from Microsoft Research. See the z3
 package for a detailed description.
 .
 This package provides the JNI library to invoke Z3 via its Java API.

libz3-jni-dbgsym: debug symbols for libz3-jni
libz3-ocaml-dev: No summary available for libz3-ocaml-dev in ubuntu focal.

No description available for libz3-ocaml-dev in ubuntu focal.

libz3-ocaml-dev-dbgsym: No summary available for libz3-ocaml-dev-dbgsym in ubuntu focal.

No description available for libz3-ocaml-dev-dbgsym in ubuntu focal.

python3-z3: theorem prover from Microsoft Research - Python 3 bindings

 Z3 is a state-of-the art theorem prover from Microsoft Research. See the z3
 package for a detailed description.
 .
 This package can be used to invoke Z3 via its Python 3 API.

z3: theorem prover from Microsoft Research

 Z3 is a state-of-the art theorem prover from Microsoft Research. It can be
 used to check the satisfiability of logical formulas over one or more
 theories. Z3 offers a compelling match for software analysis and verification
 tools, since several common software constructs map directly into supported
 theories.
 .
 The Z3 input format is an extension of the one defined by the SMT-LIB 2.0
 standard.

z3-dbgsym: debug symbols for z3