[ buster ] [ bullseye ] [ bookworm ] [ trixie ] [ sid ]

源码包：z3（4.8.10-1）

z3 的相关链接

Debian 的资源：

维护小组：

外部的资源：

主页 [github.com]

本源码包构建了以下这些二进制包：

libz3-4: theorem prover from Microsoft Research - runtime libraries
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
python3-z3: theorem prover from Microsoft Research - Python 3 bindings
z3: theorem prover from Microsoft Research

其他与 z3 有关的软件包

构建架构特定包依赖

构建架构独立包依赖

adep: debhelper-compat (= 13)

软件包暂时不可用
adep: dh-python

用于打包 Python 库和应用程序的 Debian 帮助工具
adep: python3

交互式高级面向对象语言（默认 python3 版本）
adep: cmake

cross-platform, open-source make system
adep: javahelper [除 hppa hurd-i386 m68k sh4]

Helper scripts for packaging Java programs
adep: default-jdk [除 hppa hurd-i386 m68k sh4]

Standard Java or Java compatible Development Kit

Download z3

文件	大小（单位：kB）	MD5 校验码
z3_4.8.10-1.dsc	2.6 kB	c08daa12a3272adea3e5cba79881313f
z3_4.8.10.orig.tar.gz	4,621.0 kB	e28c78a81489f924a0c2758e7376a5b1
z3_4.8.10-1.debian.tar.xz	9.9 kB	a2f90a4bfb75226a220cd41841c26614

Debian 软件包源码仓库（VCS：Git）: https://salsa.debian.org/pkg-llvm-team/z3.git
Debian 软件包源码仓库（可在线浏览）: https://salsa.debian.org/pkg-llvm-team/z3