[ Источник: z3 ]
Пакет: libz3-dev (4.8.7-4build1) [ports] [universe]
Ссылки для libz3-dev
Ресурсы Ubuntu:
Исходный код z3:
Сопровождающий:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- LLVM Packaging Team (Почтовый архив)
- Fabian Wolff
It should generally not be necessary for users to contact the original maintainer.
Внешние ресурсы:
- Сайт [github.com]
Подобные пакеты:
theorem prover from Microsoft Research - development files
Другие пакеты, относящиеся к libz3-dev
|
|
|
|
-
- dep: libz3-4 (= 4.8.7-4build1)
- theorem prover from Microsoft Research - runtime libraries
Загрузка libz3-dev
Архитектура | Размер пакета | В установленном виде | Файлы |
---|---|---|---|
armhf | 65,9 Кб | 509,0 Кб | [список файлов] |