MACE4(1) - manual page | User commands

Searches for finite countermodels of first-order statements.

Loading manual page ...

This manual	Reference	Other manuals
mace4(1)	referred by	clausefilter(1) \| clausetester(1) \| interpfilter(1) \| interpformat(1) \| isofilter(1) \| prover9(1) \| prover9-mace4(1) \| rewriter(1)
mace4(1)	refer to	interpformat(1) \| isofilter(1) \| prover9(1)