mace2
program that searches for finite models of first-order statements
Install
- All systems
-
curl cmd.cat/mace2.sh
- Debian
-
apt-get install mace2 - Ubuntu
-
apt-get install mace2 - Windows (WSL2)
-
sudo apt-get updatesudo apt-get install mace2 - Raspbian
-
apt-get install mace2 - Dockerfile
- dockerfile.run/mace2
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.