z3 4.8.12-3.1build1 source package in Ubuntu
Changelog
z3 (4.8.12-3.1build1) noble; urgency=high * No change rebuild against frame pointers and time_t. -- Julian Andres Klode <email address hidden> Mon, 22 Apr 2024 11:52:27 +0200
Upload details
- Uploaded by:
- Julian Andres Klode
- Uploaded to:
- Noble
- Original maintainer:
- Ubuntu Developers
- Architectures:
- any
- Section:
- misc
- Urgency:
- Very Urgent
See full publishing history Publishing
| Series | Published | Component | Section | |
|---|---|---|---|---|
| Oracular | release | universe | misc | |
| Noble | release | universe | misc |
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| z3_4.8.12.orig.tar.gz | 4.6 MiB | e3aaefde68b839299cbc988178529535e66048398f7d083b40c69fe0da55f8b7 |
| z3_4.8.12-3.1build1.debian.tar.xz | 10.3 KiB | f7a34430b1ddad40767539aa2c325986ac3134d7a36fa8402daea5389f709d62 |
| z3_4.8.12-3.1build1.dsc | 2.7 KiB | 5af2f7a629e2169b284c9e1cd85b82b9f93312cab178da2e7d8cfdcd728b1a02 |
Available diffs
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
