全部搜尋項
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]

原始碼套件:z3(4.4.1-1~deb10u1)

z3 的相關連結

Debian 的資源:

維護小組:

外部的資源:

本原始碼套件構建了以下這些二進位制包:
libz3-4
theorem prover from Microsoft Research - runtime libraries
libz3-cil
theorem prover from Microsoft Research - CLI bindings
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-ocaml-dev
theorem prover from Microsoft Research - OCaml bindings
python-z3
theorem prover from Microsoft Research - Python bindings
z3
theorem prover from Microsoft Research

其他與 z3 有關的套件

  • 構建架構特定包依賴
  • 構建架構獨立包依賴

Download z3

檔案大小(單位:kB)MD5 校驗碼
z3_4.4.1-1~deb10u1.dsc 3。0 kB bc0e5c4032a44e440193dea14f857aac
z3_4.4.1.orig.tar.gz 3,268。9 kB 4336a9df24f090e711c6d42fd4e2b1fc
z3_4.4.1-1~deb10u1.debian.tar.xz 14。4 kB ba2cf970d031bd52cf4b759d66363263
Debian 套件原始碼倉庫(VCSGit
https://salsa.debian.org/pkg-llvm-team/z3.git
Debian 套件原始碼倉庫(可線上瀏覽)
https://salsa.debian.org/pkg-llvm-team/z3