[  lenny  ] [  squeeze  ] [  sid  ]
[ Quellcode: otter  ]

Paket: mace2 (3.3f-1)

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.

Markierungen: Rolle: Programm, Zweck: Suchen

Andere Pakete mit Bezug zu mace2

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • dep: libc0.1 (>= 2.3) [kfreebsd-amd64, kfreebsd-i386]
    GNU C-Bibliothek: Dynamische Bibliotheken
    auch ein virtuelles Paket, bereitgestellt durch libc0.1-udeb
  • dep: libc0.3 (>= 2.3.5-1) [hurd-i386]
    GNU C-Bibliothek: Dynamische Bibliotheken
    auch ein virtuelles Paket, bereitgestellt durch libc0.3-udeb
  • dep: libc6 (>= 2.3.5-1) [amd64, hppa, m68k, mips, mipsel, powerpc, s390, sparc]
    GNU C-Bibliothek: Dynamische Bibliotheken
    auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
    dep: libc6 (>= 2.3.6-6) [i386]
    dep: libc6 (>= 2.5) [avr32]
    dep: libc6 (>= 2.5-5) [armel]
  • dep: libc6.1 (>= 2.3.5-1) [alpha, ia64]
    GNU C-Bibliothek: Dynamische Bibliotheken
    auch ein virtuelles Paket, bereitgestellt durch libc6.1-udeb
  • rec: c-shell
    virtuelles Paket, bereitgestellt durch csh, tcsh
  • rec: otter
    resolution-style theorem prover
  • rec: perl
    Larry Wall's Practical Extraction und Report Language
  • sug: swi-prolog
    ISO/Edinburgh-style Prolog interpreter
    oder gprolog
    GNU Prolog Compiler

mace2 herunterladen

Download für alle verfügbaren Architekturen
Architektur Paketgröße Größe (installiert) Dateien
alpha 561,1 kB1648 kB [Liste der Dateien]
amd64 529,8 kB1444 kB [Liste der Dateien]
armel 503,5 kB1392 kB [Liste der Dateien]
avr32 (inoffizielle Portierung) 513,8 kB1304 kB [Liste der Dateien]
hppa 541,6 kB1476 kB [Liste der Dateien]
hurd-i386 493,4 kB1388 kB [Liste der Dateien]
i386 496,4 kB1388 kB [Liste der Dateien]
ia64 728,1 kB2352 kB [Liste der Dateien]
kfreebsd-amd64 541,3 kB1282 kB [Liste der Dateien]
kfreebsd-i386 492,7 kB1186 kB [Liste der Dateien]
m68k (inoffizielle Portierung) 464,4 kB1348 kB [Liste der Dateien]
mips 547,1 kB1756 kB [Liste der Dateien]
mipsel 548,5 kB1756 kB [Liste der Dateien]
powerpc 523,3 kB1516 kB [Liste der Dateien]
s390 522,4 kB1456 kB [Liste der Dateien]
sparc 493,5 kB1412 kB [Liste der Dateien]