| Paketname | prover9-mace4 |
| Beschreibung | GUI for Prover9 and Mace4 |
| Archiv/Repository | Offizielles Debian Archiv squeeze (main) |
| Version | 0.5.dfsg-2 |
| Sektion | math |
| Priorität | optional |
| Installierte Größe | 472 Byte |
| Hängt ab von | python, python-support (>= 0.90.0), python-wxgtk2.6, prover9 (>= 0.0.200712-1) |
| Empfohlene Pakete | |
| Paketbetreuer | Peter Collingbourne |
| Quelle | p9m4 |
| Paketgröße | 67444 Byte |
| Prüfsumme MD5 | f26a12f1f4266b1a56ab769b4c46778c |
| Prüfsumme SHA1 | 5cf3bbc36d0b7707b303069140e90c70b822df00 |
| Prüfsumme SHA256 | 6e928d55e8d3621dc5104a48da64174d16d3d4ed4bf4876bec5c3a2ee49ecdb2 |
| 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.
|