openKylin z3 package

z3 source package in Nile V2.0

libz3-4: theorem prover from Microsoft Research - runtime libraries
libz3-4-dbgsym: debug symbols for libz3-4
libz3-dev: theorem prover from Microsoft Research - development files
libz3-java: theorem prover from Microsoft Research - java bindings
libz3-jni: theorem prover from Microsoft Research - JNI library
libz3-jni-dbgsym: debug symbols for libz3-jni
python3-z3: theorem prover from Microsoft Research - Python 3 bindings
z3: theorem prover from Microsoft Research
z3-dbgsym: debug symbols for z3

Versions published

Release

The package versions that were published when the distribution release was made.

Proposed

Package versions including new functions that should be widely tested, but that are not yet part of a default installation. People who "live on the edge" will test these packages before they are accepted for use in "Updates".

z3 information

Current version:
4.8.12-ok1
Uploaded:
Urgency:
Very Urgent

Releases in openKylin

4.8.7-ok1
4.8.12-ok1
4.8.12-ok1

Binary packages

Download files from current release (4.8.12-ok1)

File Size SHA-256 Checksum
z3_4.8.12.orig.tar.gz 4.6 MiB e3aaefde68b839299cbc988178529535e66048398f7d083b40c69fe0da55f8b7
z3_4.8.12-ok1.debian.tar.xz 7.3 KiB 012f26dd9e75e5a380151456222fd68a136b55b1d876f7f85fba68ce49b0aa40
z3_4.8.12-ok1.dsc 2.5 KiB 464e785b1e549e073945e855607196dd96dcaf8e1de26d85db51626fc4677d2d

Package relationships

Build dependencies

Platform-independent build dependencies

Platform-dependent build dependencies

Build conflicts

Platform-independent build conflicts

Platform-dependent build conflicts