Source Package: z3 (4.4.1-1~deb10u1)
Links for z3
Debian Resources:
Maintainers:
External Resources:
The following binary packages are built from this source package:
- libz3-4
- dimostratore di teoremi di Microsoft Research - librerie runtime
- libz3-cil
- dimostratore di teoremi di Microsoft Research - collegamenti CLI
- libz3-dev
- dimostratore di teoremi di Microsoft Research - file di sviluppo
- libz3-java
- dimostratore di teoremi di Microsoft Research - collegamenti Java
- libz3-jni
- dimostratore di teoremi di Microsoft Research - libreria JNI
- libz3-ocaml-dev
- dimostratore di teoremi di Microsoft Research - collegamenti OCaml
- python-z3
- dimostratore di teoremi di Microsoft Research - collegamenti Python
- z3
- dimostratore di teoremi di Microsoft Research
Other Packages Related to z3
-
- adep:
debhelper
(>= 9)
- programmi ausiliari per debian/rules
-
- adep:
dh-python
- strumenti Debian helper per pacchettizzare librerie e applicazioni Python
-
- adep:
python
- linguaggio interattivo di alto livello orientato agli oggetti (versione Python 2)
-
- adep:
javahelper
[not hppa hurd-i386 m68k sh4]
- script di aiuto per pacchettizzare programmi Java
-
- adep:
default-jdk
[not hppa hurd-i386 m68k sh4]
- kit di sviluppo Java standard o compatibile con Java
-
- adep:
ocaml-nox
- implementazione di ML con sistema a oggetti basato su classi (senza X)
-
- adep:
dh-ocaml
- strumenti ausiliari per mantenere pacchetti Debian relativi a OCaml
-
- adep:
mono-mcs
[not alpha hppa hurd-i386 m68k mips mips64el powerpc powerpcspe ppc64 sh4 sparc64 x32]
- compilatore Mono C# 2.0 / 3.0 / 4.0 / 5.0 per CLI 2.0 / 4.0 / 4.5
-
- adep:
cli-common-dev
[not alpha hppa hurd-i386 m68k mips mips64el powerpc powerpcspe ppc64 sh4 sparc64 x32]
- file comuni per creare pacchetti CLI
-
- adep:
libmono-system-numerics4.0-cil
[not alpha hppa hurd-i386 m68k mips mips64el powerpc powerpcspe ppc64 sh4 sparc64 x32]
- libreria System.Numerics di Mono (per CLI 4.0)
