[ buster ]
[ Pakiet źródłowy: p9m4 ]
Pakiet: prover9-mace4 (0.5.dfsg-3)
Odnośniki dla prover9-mace4
Zasoby systemu Debian:
- Raporty o błędach
- Developer Information
- Dziennik zmian w systemie Debian
- Informacje nt. praw autorskich
- Śledzenie łatek systemu Debian
Pobieranie pakietu źródłowego p9m4:
Opiekun:
Zasoby zewnętrzne:
- Strona internetowa [www.cs.unm.edu]
Podobne pakiety:
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.
Inne pakiety związane z prover9-mace4
|
|
|
|
-
- dep: prover9 (>= 0.0.200712-1)
- theorem prover and countermodel generator
-
- dep: python
- Interaktywny, wysokopoziomowy język obiektowy (wersja Python2)
-
- dep: python-wxgtk3.0
- Python interface to the wxWidgets Cross-platform C++ GUI toolkit
Pobieranie prover9-mace4
| Architektura | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
|---|---|---|---|
| all | 51,4 KiB | 265,0 KiB | [lista plików] |