DEBFIND Suche nach Debian-Paketen

Suchplatform für Softwarepakete und Archive Debian-basierter Linux-Distributionen

beta ! Diese website wird noch weiterentwickelt.

Liste aller Kategorien/Sektionen | Suchmaske | Haftungsausschluß

Paketbeschreibung


Paketnamemace2
Beschreibungprogram that searches for finite models of first-order statements
Archiv/RepositoryOffizielles Debian Archiv squeeze (main)
Version3.3f-1
Sektionmath
Prioritätoptional
Installierte Größe1388 Byte
Hängt ab vonlibc6 (>= 2.3.6-6)
Empfohlene Paketeperl, c-shell, otter
PaketbetreuerPeter Collingbourne
Quelleotter
Paketgröße508304 Byte
Prüfsumme MD5758314d19e96d3ca22305f74fd1d30b0
Prüfsumme SHA1a3899953a5a2228665821d35fe489a4ab07e84a1
Prüfsumme SHA256ddc67dcb06a2baac7f408b665e3859f5846c564168a125cd1659655d748f89c3
Link zum Herunterladenmace2_3.3f-1_i386.deb
Ausführliche BeschreibungMACE is a program that searches for finite models of first-order and equational statements developed at Argonne National Laboratory. . This package includes ANLDP, which calls the propositional decision procedure at the core of MACE directly. . MACE serves as a complementary companion to OTTER, which searches for refutations of the same class of statement. In particular, if you have a first-order conjecture, OTTER will search for a proof, and MACE will search for a counterexample from the same input file.

Impressum
Linux is a registered trademark of Linus Torvalds