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

  • для сборки
  • build-depends-indep
  • 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

ФайлРазмер (в Кб)Контрольная сумма MD5
z3_4.4.1-0.3build4.dsc 2,5 Кб 2b4cc7f4245776173eedb0d8938d24f1
z3_4.4.1.orig.tar.gz 3 268,9 Кб 4336a9df24f090e711c6d42fd4e2b1fc
z3_4.4.1-0.3build4.debian.tar.xz 14,1 Кб 927c11225e4f157ade6ac7d7256ddec7