| Paketname | prover9-mace4 |
| Beschreibung | GUI for Prover9 and Mace4 |
| Archiv/Repository | Offizielles Ubuntu Archiv lucid (universe) |
| Version | 0.5.dfsg-2 |
| Sektion | universe/math |
| Priorität | optional |
| Installierte Größe | 476 Byte |
| Hängt ab von | python, python-support (>= 0.90.0), python-wxgtk2.6, prover9 (>= 0.0.200712-1) |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu MOTU Developers |
| Quelle | p9m4 |
| Paketgröße | 69018 Byte |
| Prüfsumme MD5 | adc674223433af52465a12030a863ecc |
| Prüfsumme SHA1 | d11280b811d802099e2b1a02732c3bcb31a06e9b |
| Prüfsumme SHA256 | 541e41e7c62b8414b77a118d4ef7631b7310f627d139f76d9d3748b06540370b |
| Link zum Herunterladen | prover9-mace4_0.5.dfsg-2_all.deb |
| Ausführliche Beschreibung | 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.
|