[ Источник: z3 ]
Пакет: z3 (4.8.12-3.1)
Ссылки для z3
Ресурсы Debian:
- Сообщения об ошибках
- Developer Information
- Debian журнал изменений
- Файл авторских прав
- Отслеживание заплат Debian
Исходный код z3:
Сопровождающие:
Внешние ресурсы:
- Сайт [github.com]
Подобные пакеты:
средство доказательства теорем от Microsoft Research
Z3 — это современная программа для доказательства теорем от Microsoft Research. Её можно использовать для проверки выполнимости логических формул по одной или нескольким теориям. Z3 идеально подходит для инструментов анализа и проверки программного обеспечения, поскольку некоторые распространённые конструкции программного обеспечения напрямую связаны с поддерживаемыми теориями.
Входной формат Z3 является расширением формата, определённого стандартом SMT-LIB 2.0.
Другие пакеты, относящиеся к z3
|
|
|
|
-
- dep: libc6 (>= 2.34)
- библиотека GNU C: динамически подключаемые библиотеки
также виртуальный пакет, предоставляемый libc6-udeb
-
- dep: libgcc-s1 (>= 3.0)
- вспомогательная библиотека GCC
-
- dep: libstdc++6 (>= 12)
- стандартная библиотека GNU C++ версии 3
Загрузка z3
| Архитектура | Размер пакета | В установленном виде | Файлы |
|---|---|---|---|
| s390x | 6 218,7 Кб | 24 307,0 Кб | [список файлов] |