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

源码包：z3（4.8.12-3.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

Debian helper tools for packaging Python libraries and applications
adep: python3

interactive high-level object-oriented language (default python3 version)
adep: cmake

跨平台、开源的构建系统
adep: libsimde-dev

Implementations of SIMD instructions for all systems
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.12-3.1.dsc	2.6 kB	f3d77f94d51ee80a31f4db0d00c71330
z3_4.8.12.orig.tar.gz	4,690.9 kB	73fd07d094685039b03aed9e38040d13
z3_4.8.12-3.1.debian.tar.xz	10.2 kB	632052111a73db41cad36b663acc1d58

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