Pakiet źródłowy: z3 (4.13.3-1)
Odnośniki dla z3
Zasoby systemu Debian:
Opiekunowie:
Zasoby zewnętrzne:
Z tego pakietu źródłowego zbudowano następujące pakiety binarne:
- libz3-4
- Dowód twierdzenia z Microsoft Research - biblioteki uruchomieniowe
- 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
- python3-z3
- Dowód twierdzenia z Microsoft Research - dowiązania Pythona 3
- z3
- Narzędzie do udowadniania twierdzeń firmy Microsoft Research
Inne pakiety związane z z3
-
- adep:
debhelper-compat
(= 13)
- Pakiet niedostępny
-
- adep:
cmake
- Wieloplatformowy system do tworzenia oprogramowania typu open source
-
- adep:
libsimde-dev
- Implementations of SIMD instructions for all systems
-
- adep:
python3
- Interaktywny, wysokopoziomowy i obiektowy język programowania (domyślna wersja Python 3)
-
- adep:
python3-setuptools
- Python3 Distutils Enhancements
-
- adep:
dh-sequence-python3
- pakiet wirtualny udostępniany przez
dh-python
-
- adep:
dh-sequence-javahelper
[nie hppa hurd-any m68k sh4]
- pakiet wirtualny udostępniany przez
javahelper
-
- adep:
default-jdk
[nie hppa hurd-any m68k sh4]
- Standard Java or Java compatible Development Kit
