Alle Optionen
jessie  ] [  sid  ]
[ Quellcode:  ]

Paket: mace2 (3.3f-1.1) [debports]

Links für mace2

Screenshot

Debian-Ressourcen:

Quellcode-Paket herunterladen:

Nicht gefunden

Betreuer:

Ähnliche Pakete:

Programm, dass nach endlichen Modellen für Aussagen erster Ordnung sucht

MACE ist ein Programm, dass nach endlichen Modellen für Aussagen erster Ordnung und Gleichungen sucht. Es wurde am Argonne National Laboratory entwickelt.

Dieses Paket enthält ANLDP, welches die Prozedur zur Aussagenentscheidung im Kern von MACE direkt aufruft.

MACE ist ein ergänzender Begleiter für OTTER, das nach Widerlegungen von Aussagen der selben Klasse sucht. Insbesondere wenn Sie eine Vermutung erster Ordnung bearbeiten, wird OTTER nach einem Beweis und MACE nach einem Gegenbeispiel suchen. Dabei benutzen beide die gleiche Eingabedatei.

Andere Pakete mit Bezug zu mace2

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • erweitert

mace2 herunterladen

Download für alle verfügbaren Architekturen
Architektur Paketgröße Größe (installiert) Dateien
arm64 (inoffizielle Portierung) 331,4 kB1.062,0 kB [Liste der Dateien]