Man Pages in mace2

Section 1: Executable programs or shell commands

anldp.1

Implementation of davis-putnam propositional satisfiability procedure

mace2.1

Searches for finite countermodels of first-order statements