openKylin z3 package

z3 package in openKylin

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

Package information

Maintainer:
Openkylin Developers
Urgency:*
Very Urgent
Architectures:*
any
Latest upload:
4.8.12-ok1

*actual publishing details may vary in this distribution, these are just the package defaults.

Huanghe V3.0 (pre-release freeze)
4.8.12-ok1 release, proposed (main)
Nile V2.0 (pre-release freeze)
4.8.12-ok1 proposed, release (main)
Yangtze V1.0 (pre-release freeze)
4.8.7-ok2 proposed, release (main)