Linux repositories inspector

mace2 - 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.
Original maintainer
Ubuntu iconUbuntu 16.04 LTS
Ubuntu iconUbuntu 16.04 LTS xenial/universedeb3.3f-1.12017-11-10535 kiB1.11 MiB

Manual pages


anldp - implementation of Davis-Putnam propositional satisfiability procedure


mace2 - searches for finite countermodels of first-order statements

Latest updates

Ubuntu icon

Ubuntu 16.04 LTS xenial/universe: Version 3.3f-1.1 introduced

  • Non-maintainer upload.
  • source/formed/Makefile: Added -lX11 -lXt. Closes: #555879.
  • Fixed debhelper-but-no-misc-depends.
  • Fixed debian-rules-ignores-make-clean-error.
⇧ Top