[  lenny  ] [  squeeze  ] [  sid  ]
[ Источник: otter  ]

Пакет: mace2 (3.3f-1)

program that searches for finite models of first-order statements

MACE 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.

Теги: Роль: Программа, Цель: Поиск

Другие пакеты, относящиеся к mace2

  • зависимости
  • рекомендации
  • предложения
  • dep: libc0.1 (>= 2.3) [kfreebsd-amd64, kfreebsd-i386]
    библиотека GNU C: динамически подключаемые библиотеки
    также виртуальный пакет, предоставляемый libc0.1-udeb
  • dep: libc0.3 (>= 2.3.5-1) [hurd-i386]
    библиотека GNU C: динамически подключаемые библиотеки
    также виртуальный пакет, предоставляемый libc0.3-udeb
  • dep: libc6 (>= 2.3.5-1) [amd64, hppa, m68k, mips, mipsel, powerpc, s390, sparc]
    библиотека GNU C: динамически подключаемые библиотеки
    также виртуальный пакет, предоставляемый 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: динамически подключаемые библиотеки
    также виртуальный пакет, предоставляемый libc6.1-udeb
  • rec: c-shell
    виртуальный пакет, предоставляемый csh, tcsh
  • rec: otter
    resolution-style theorem prover
  • rec: perl
    интерпретатор для сценариев на языке Perl
  • sug: swi-prolog
    интерпретатор пролога, вариант ISO/Edinburgh
    или gprolog
    компилятор GNU Prolog

Загрузка mace2

Загрузить для всех доступных архитектур
Архитектура Размер пакета В установленном виде Файлы
alpha 561,1 Кб1648 Кб [список файлов]
amd64 529,8 Кб1444 Кб [список файлов]
armel 503,5 Кб1392 Кб [список файлов]
avr32 (неофициальный перенос) 513,8 Кб1304 Кб [список файлов]
hppa 541,6 Кб1476 Кб [список файлов]
hurd-i386 493,4 Кб1388 Кб [список файлов]
i386 496,4 Кб1388 Кб [список файлов]
ia64 728,1 Кб2352 Кб [список файлов]
kfreebsd-amd64 541,3 Кб1282 Кб [список файлов]
kfreebsd-i386 492,7 Кб1186 Кб [список файлов]
m68k (неофициальный перенос) 464,4 Кб1348 Кб [список файлов]
mips 547,1 Кб1756 Кб [список файлов]
mipsel 548,5 Кб1756 Кб [список файлов]
powerpc 523,3 Кб1516 Кб [список файлов]
s390 522,4 Кб1456 Кб [список файлов]
sparc 493,5 Кб1412 Кб [список файлов]