openKylin z3 package

z3 source package in Huanghe V3.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.13.3-1ok1
Uploaded:
Urgency:
Medium Urgency

Binary packages

Download files from current release (4.13.3-1ok1)

File Size SHA-256 Checksum
z3_4.13.3.orig.tar.gz 5.5 MiB e42447d4b7ffc44684b08fe3d063a81cdd85067898f5ed9a656d15e79800e5ab
z3_4.13.3-1ok1.debian.tar.xz 7.2 KiB 5422246f08420d8947ac3707dee1725f2c9675b07747715276550bf63c5bf3a6
z3_4.13.3-1ok1.dsc 2.4 KiB d3452d87be913247e3ab066140f6edc2c0728a69b13c2a12ff51153480cddcaa

Package relationships

Build dependencies

Platform-independent build dependencies

Platform-dependent build dependencies

Build conflicts

Platform-independent build conflicts

Platform-dependent build conflicts