[ buster ]
[ Источник: p9m4 ]
Пакет: prover9-mace4 (0.5.dfsg-3)
Ссылки для prover9-mace4
Ресурсы Debian:
- Сообщения об ошибках
- Developer Information
- Debian журнал изменений
- Файл авторских прав
- Отслеживание заплат Debian
Исходный код p9m4:
Сопровождающий:
Внешние ресурсы:
- Сайт [www.cs.unm.edu]
Подобные пакеты:
GUI for Prover9 and Mace4
This package provides a graphical user interface for easily running the Prover9 theorem prover and the Mace4 countermodel generator along with a number of sample input files.
Другие пакеты, относящиеся к prover9-mace4
|
|
|
|
-
- dep: prover9 (>= 0.0.200712-1)
- theorem prover and countermodel generator
-
- dep: python
- интерактивный объектно-ориентированный язык высокого уровня (ветка 2.x)
-
- dep: python-wxgtk3.0
- Python interface to the wxWidgets Cross-platform C++ GUI toolkit
Загрузка prover9-mace4
| Архитектура | Размер пакета | В установленном виде | Файлы |
|---|---|---|---|
| all | 51,4 Кб | 265,0 Кб | [список файлов] |