Publishing details
-
Published
-
Copied from
openkylin yangtze in
Primary Archive for openKylin
by luoyaoming
Changelog
z3 (4.8.7-ok1) yangtze; urgency=medium
* Build for openKylin.
-- openKylinBot <email address hidden> Mon, 25 Apr 2022 22:03:04 +0800
Builds
Built packages
-
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 files