Skip to content
Sections
>> Trisquel >> パッケージ >> aramo >> ソース >> misc >> z3
[  etiona  ] [  nabia  ] [  aramo  ]

ソースパッケージ: z3 (4.8.12-1)

z3 に関するリンク

Trisquel の資源:

メンテナ:

Original Maintainers:

外部の資源:

以下のバイナリパッケージがこのソースパッケージからビルドされています。
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
    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.12-1.dsc 2.6 kB 952bf739a35a5eeff21fb3bc9d08777d
z3_4.8.12.orig.tar.gz 4,690.9 kB 73fd07d094685039b03aed9e38040d13
z3_4.8.12-1.debian.tar.xz 9.7 kB bdb225b652a230621f44bfd1dd0430f6
Debian パッケージソースリポジトリ (VCS: Git)
https://salsa.debian.org/pkg-llvm-team/z3.git
Debian パッケージソースリポジトリ (ブラウザで表示可能)
https://salsa.debian.org/pkg-llvm-team/z3