anldp

program that searches for finite models of first-order statements

Install

All systems
curl cmd.cat/anldp.sh
Debian Debian
apt-get install mace2
Ubuntu
apt-get install mace2
Windows (WSL2)
sudo apt-get update sudo apt-get install mace2
Raspbian
apt-get install mace2
Dockerfile
dockerfile.run/anldp

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.