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

ソースパッケージ: z3 (4.4.1-0.3build4)

z3 に関するリンク

Trisquel の資源:

メンテナ:

Original Maintainer:

  • Michael Tautschnig

外部の資源:

以下のバイナリパッケージがこのソースパッケージからビルドされています。
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 関連パッケージ

  • 構築依存
  • 構築依存 (アーキテクチャ非依存)
  • adep: debhelper (>= 9)
    helper programs for debian/rules
  • adep: dh-python
    Debian helper tools for packaging Python libraries and applications
  • adep: python
    interactive high-level object-oriented language (default version)
  • 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
  • adep: ocaml-nox
    ML implementation with a class-based object system (no X)
  • adep: dh-ocaml
    helper tools for maintaining OCaml-related Debian packages
  • adep: mono-mcs [alpha hppa hurd-i386 m68k mips mips64el powerpc powerpcspe ppc64 sh4 sparc64 x32 以外]
    Mono C# 2.0 / 3.0 / 4.0 / 5.0 compiler for CLI 2.0 / 4.0 / 4.5
  • adep: cli-common-dev [alpha hppa hurd-i386 m68k mips mips64el powerpc powerpcspe ppc64 sh4 sparc64 x32 以外]
    common files for building CLI packages
  • adep: libmono-system-numerics4.0-cil [alpha hppa hurd-i386 m68k mips mips64el powerpc powerpcspe ppc64 sh4 sparc64 x32 以外]
    Mono System.Numerics library (for CLI 4.0)

Download z3

ファイルサイズ (単位: kB)MD5 チェックサム
z3_4.4.1-0.3build4.dsc 2.5 kB 2b4cc7f4245776173eedb0d8938d24f1
z3_4.4.1.orig.tar.gz 3,268.9 kB 4336a9df24f090e711c6d42fd4e2b1fc
z3_4.4.1-0.3build4.debian.tar.xz 14.1 kB 927c11225e4f157ade6ac7d7256ddec7