[ 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
- interactive high-level object-oriented language (Python2 version)
-
- dep: python-wxgtk3.0
- Python interface to the wxWidgets Cross-platform C++ GUI toolkit
Изтегляне на prover9-mace4
| Архитектура | Големина на пакета | Големина след инсталиране | Файлове |
|---|---|---|---|
| all | 51,4 кБ | 265,0 кБ | [списък на файловете] |