Ubuntu
z3 package

z3 4.8.4-1build1 source package in Ubuntu

Changelog

z3 (4.8.4-1build1) eoan; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Fri, 13 Sep 2019 10:27:08 +0200

Upload details

Uploaded by:
Gianfranco Costamagna
Uploaded to:
Eoan
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.4.orig.tar.gz 3.9 MiB 5a18fe616c2a30b56e5b2f5b9f03f405cdf2435711517ff70b076a01396ef601
z3_4.8.4-1build1.debian.tar.xz 9.3 KiB 34a4b5ac1a31dba3e0efcbd8bdeb80dcaf3d2d0c4d5c9ac73d0fb080b5ceb847
z3_4.8.4-1build1.dsc 3.0 KiB a17b5f052bf753a4036e50efc9cc732fb91c75e842a9003563cdfac3302be631

View changes file

Binary packages built by this source

libz3-4: No summary available for libz3-4 in ubuntu eoan.

No description available for libz3-4 in ubuntu eoan.

libz3-4-dbgsym: debug symbols for libz3-4
libz3-cil: No summary available for libz3-cil in ubuntu eoan.

No description available for libz3-cil in ubuntu eoan.

libz3-dev: No summary available for libz3-dev in ubuntu eoan.

No description available for libz3-dev in ubuntu eoan.

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

No description available for libz3-jni in ubuntu eoan.

libz3-jni-dbgsym: No summary available for libz3-jni-dbgsym in ubuntu eoan.

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

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 eoan.

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

python-z3: No summary available for python-z3 in ubuntu eoan.

No description available for python-z3 in ubuntu eoan.

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: No summary available for z3-dbgsym in ubuntu eoan.

No description available for z3-dbgsym in ubuntu eoan.