[ buster ]
[ Zdroj: p9m4 ]
Balík: prover9-mace4 (0.5.dfsg-3)
Odkazy pre prover9-mace4
Zdroje Debian:
Stiahnuť zdrojový balík p9m4:
Správca:
Externé zdroje:
- Domovská stránka [www.cs.unm.edu]
Podobné balíky:
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.
Ostatné balíky súvisiace s balíkom prover9-mace4
|
|
|
|
-
- dep: prover9 (>= 0.0.200712-1)
- theorem prover and countermodel generator
-
- dep: python
- interaktívny vysokoúrovňový objektovo orientovaný jazyk (verzia python2)
-
- dep: python-wxgtk3.0
- rozhranie jazyka Python k multiplatformnej sade GUI nástrojov pre C++ wxWidgets
Stiahnuť prover9-mace4
| Architektúra | Veľkosť balíka | Nainštalovaná veľkosť | Súbory |
|---|---|---|---|
| all | 51.4 kB | 265.0 kB | [zoznam súborov] |