openKylin z3 package

z3 source package in Yangtze V1.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.7-ok2
Uploaded:
Urgency:
Medium Urgency

Binary packages

Download files from current release (4.8.7-ok2)

File Size SHA-256 Checksum
z3_4.8.7.orig.tar.gz 4.1 MiB 8c1c49a1eccf5d8b952dadadba3552b0eac67482b8a29eaad62aa7343a0732c3
z3_4.8.7-ok2.debian.tar.xz 7.7 KiB fadd4957b293b25960f3280f093167ad713ff14947bc6c3640791bb50fcef255
z3_4.8.7-ok2.dsc 2.3 KiB aee818b8d6889186c5a47140d7d8f25e8cba73290a18420f13c75096ff6369da

Package relationships

Build dependencies

Platform-independent build dependencies

Platform-dependent build dependencies

Build conflicts

Platform-independent build conflicts

Platform-dependent build conflicts