Quellcode-Paket: z3 (4.4.1-1~deb10u1)
Links für z3
Debian-Ressourcen:
Betreuer:
Externe Ressourcen:
Die folgenden Binärpakete werden aus diesem Quellcode-Paket gebaut:
- libz3-4
- Theorembeweiser von Microsoft Research - Laufzeitbibliotheken
- libz3-cil
- theorem prover from Microsoft Research - CLI bindings
- libz3-dev
- Theorembeweiser von Microsoft Research - Entwicklungsdateien
- libz3-java
- Theorembeweiser von Microsoft Research - Java-Anbindung
- libz3-jni
- Theorembeweiser von Microsoft Research - JNI-Bibliothek
- libz3-ocaml-dev
- theorem prover from Microsoft Research - OCaml bindings
- python-z3
- theorem prover from Microsoft Research - Python bindings
- z3
- Theorembeweiser von Microsoft Research
Andere Pakete mit Bezug zu z3
-
- adep:
debhelper
(>= 9)
- Hilfsprogramme für debian/rules
-
- adep:
dh-python
- Debian-Hilfsprogramme zum Paketieren von Python-Bibliotheken und -Anwendungen
-
- adep:
python
- Interaktive objektorientierte Hochsprache (Python2-Version)
-
- adep:
javahelper
[nicht hppa hurd-i386 m68k sh4]
- Helper scripts for packaging Java programs
-
- adep:
default-jdk
[nicht hppa hurd-i386 m68k sh4]
- Standard-Java oder Java-kompatibles Development Kit
-
- adep:
ocaml-nox
- ML-Implementierung mit einem klassenbasierten Objektsystem (ohne X)
-
- adep:
dh-ocaml
- helper tools for maintaining OCaml-related Debian packages
-
- adep:
mono-mcs
[nicht alpha hppa hurd-i386 m68k mips mips64el powerpc powerpcspe ppc64 sh4 sparc64 x32]
- Mono-C#-Compiler 2.0 / 3.0 / 4.0 / 5.0 für CLI 2.0 / 4.0 / 4.5
-
- adep:
cli-common-dev
[nicht 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
[nicht alpha hppa hurd-i386 m68k mips mips64el powerpc powerpcspe ppc64 sh4 sparc64 x32]
- Mono-Bibliothek System.Numerics (für CLI 4.0)
