Ubuntu
z3 package

z3 4.8.7-3 source package in Ubuntu

Changelog

z3 (4.8.7-3) unstable; urgency=medium

  * Use the CMake build system instead of upstream's custom Python build
    scripts.
  * Drop libz3-ocaml-dev package (this package is currently broken, can't
    be built with CMake and causes lots of maintenance effort while having
    no reverse dependencies (or users, for that matter, who would have had
    to notice that the package doesn't actually work).
  * Update patches:
    - Drop 00-avoid-ocamlopt.patch (no longer needed since we removed
      OCaml support).
    - Drop 02-hardening.patch (no longer needed because it applies to the
      old build system).
    - Drop 03-kfreebsd.patch (also applies to the old build system).
    - Renumber remaining patches:
      + 01-intrinsics.patch -> 00-intrinsics.patch
      + 05-reproducibility.patch -> 01-reproducibility.patch
      + 04-soname.patch -> 02-soname.patch
        (updated for the CMake build system)
    - Add new 03-pthread.patch (thanks to Aurelien Jarno for this!)
      (Closes: #948109).
  * Build Java bindings on riscv64.
  * Upgrade watch file to version 4 format (no changes).
  * Drop Michael Tautschnig <email address hidden> from Uploaders (he hasn't done
    an upload for this package in over four years and never responded to
    any of my emails to him).

 -- Fabian Wolff <email address hidden>  Fri, 10 Jan 2020 16:35:48 +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-3.dsc 2.5 KiB 7958f308af5f726c704a5eeb6f0761e23382af19df29076044085175479a1d30
z3_4.8.7.orig.tar.gz 4.1 MiB 8c1c49a1eccf5d8b952dadadba3552b0eac67482b8a29eaad62aa7343a0732c3
z3_4.8.7-3.debian.tar.xz 9.8 KiB ddd4a5c5a3829fc3a4a2f9c56cfef88b8349ac86dc234353492f8312c5197bbb

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