[ etiona ]
[ Source: p9m4 ]
Пакунок: prover9-mace4 (0.5.dfsg-3)
Links for prover9-mace4
Trisquel Resources:
Download Source Package p9m4:
Maintainer:
Original Maintainer:
- Debian QA Group
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
- interactive high-level object-oriented language (default version)
-
- dep: python-wxgtk3.0
- Python interface to the wxWidgets Cross-platform C++ GUI toolkit
Завантажити prover9-mace4
Архітектура | Розмір пакунка | Розмір після встановлення | Файли |
---|---|---|---|
all | 51.4 kB | 265 kB | [список файлів] |