[ buster ]
[ Source: p9m4 ]
Пакунок: prover9-mace4 (0.5.dfsg-3)
Links for prover9-mace4
Debian Resources:
Download Source Package p9m4:
Maintainer:
External Resources:
- Homepage [www.cs.unm.edu]
Similar packages:
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 kB | 265.0 kB | [список файлів] |