Ubuntu
z3 package

z3 4.4.1-0.3build4 source package in Ubuntu

Changelog

z3 (4.4.1-0.3build4) bionic; urgency=high

  * No change rebuild against ocaml 4.05.

 -- Dimitri John Ledkov <email address hidden>  Thu, 26 Oct 2017 23:54:51 +0100

Upload details

Uploaded by:
Dimitri John Ledkov
Uploaded to:
Bionic
Original maintainer:
Ubuntu Developers
Architectures:
any
Section:
misc
Urgency:
Very Urgent

See full publishing history Publishing

Series Pocket Published Component Section
Bionic release universe misc

Downloads

File Size SHA-256 Checksum
z3_4.4.1.orig.tar.gz 3.2 MiB 50967cca12c5c6e1612d0ccf8b6ebf5f99840a783d6cf5216336a2b59c37c0ce
z3_4.4.1-0.3build4.debian.tar.xz 14.1 KiB 0406db0c5690062a1c25326634b7317038e3d639e5c99076f3f2a6f6c51994fc
z3_4.4.1-0.3build4.dsc 2.5 KiB a6b8bcb51a6f326ca32cbf5a6512f5ee7eaf7ffa54e1c9b0d2ee2e85c09c1db0

Available diffs

View changes file

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: No summary available for libz3-4-dbgsym in ubuntu cosmic.

No description available for libz3-4-dbgsym in ubuntu cosmic.

libz3-cil: theorem prover from Microsoft Research - CLI 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 .NET API.

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: No summary available for libz3-jni-dbgsym in ubuntu cosmic.

No description available for libz3-jni-dbgsym in ubuntu cosmic.

libz3-ocaml-dev: theorem prover from Microsoft Research - OCaml 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 OCaml API.

libz3-ocaml-dev-dbgsym: debug symbols for libz3-ocaml-dev
python-z3: No summary available for python-z3 in ubuntu cosmic.

No description available for python-z3 in ubuntu cosmic.

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