Man Pages in prover9

Section 1: Executable programs or shell commands

interpformat.1

Tool for transforming mace4(1) models

isofilter.1

Removes isomorphic structures from mace4(1) models

isofilter0.1

Removes isomorphic structures from mace4(1) models

isofilter2.1

Removes isomorphic structures from mace4(1) models

mace4.1

Searches for finite countermodels of first-order statements

prooftrans.1

Tool for transforming prover9 proofs

prover9.1

Resolution/paramodulation theorem prover