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
- Læresætningsbeviser fra Microsoft Research - kørselstidsbiblioteker
- libz3-cil
- Læresætningsbeviser fra Microsoft Research - CLI-bindinger
- libz3-dev
- Læresætningsbeviser fra Microsoft Research - udviklingsfiler
- libz3-java
- Læresætningsbeviser fra Microsoft Research - Javabindinger
- libz3-jni
- Læresætningsbeviser fra Microsoft Research - JNI-bibliotek
- libz3-ocaml-dev
- Læresætningsbeviser fra Microsoft Research - OCaml-bindinger
- python-z3
- Teoribeviser fra Microsoft Research - Pythonbindinger
- z3
- Læresætningsbeviser fra Microsoft Research
Other Packages Related to z3
-
- adep:
debhelper
(>= 9)
- Hjælpeprogrammer for debian/rules
-
- adep:
dh-python
- Hjælpeværktøjer til Debian for pakning af Pythonbiblioteker og programmer
-
- adep:
python
- Interaktivt objektorienteret sprog på højt niveau - Python 2-version
-
- adep:
javahelper
[not hppa hurd-i386 m68k sh4]
- Hjælpeskripter for pakning af Javaprogrammer
-
- adep:
default-jdk
[not hppa hurd-i386 m68k sh4]
- Standard-Java eller Java-kompatibelt Development Kit
-
- adep:
ocaml-nox
- ML implementering med et klasse-baseret object system (ingen X)
-
- adep:
dh-ocaml
- Hjælpeværktøjer for vedligeholdelse af OCaml-relaterede Debianpakker
-
- adep:
mono-mcs
[not alpha hppa hurd-i386 m68k mips mips64el powerpc powerpcspe ppc64 sh4 sparc64 x32]
- Mono C# 2.0 / 3.0 / 4.0 / 5.0-kompiler for 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]
- fælles filer til at bygge CLI-pakker
-
- adep:
libmono-system-numerics4.0-cil
[not alpha hppa hurd-i386 m68k mips mips64el powerpc powerpcspe ppc64 sh4 sparc64 x32]
- Mono System.Numerics-bibliotek (for CLI 4.0)
