Publishing details
Changelog
z3 (4.8.12-3.1build1) noble; urgency=high
* No change rebuild against frame pointers and time_t.
-- Julian Andres Klode <email address hidden> Mon, 22 Apr 2024 11:52:27 +0200
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