Tool for transforming mace4(1) models
interpformat [options] <transformation> -f input-file > output-file
interpformat [options] <transformation> < input-file > output-file
The models (structures) in mace4(1) output files can be transformed in various ways with the program interpformat.
The transformations are listed here.
standard
one line per operation
standard2
standard, with binary operations in a square (default)
portable
list of lists, suitable for parsing by Python, GAP, etc.
tabular
as nice tables
raw
similar to standard, but without punctuation
cooked
as terms, e.g., f(0,1)=2
tex
formatted for LaTeX
xml
XML
A summary of options is included below.
output <operations>
Output only the listed operations.
wrap
Enclose output in list(interpretations).
Full documentation for interpformat is found in the prover9 manual, available on Debian systems in the prover9-doc package at /usr/share/doc/prover9-doc/manual/index.html.
interpformat was written by William McCune <[email protected]>
This manual page was written by Peter Collingbourne <[email protected]>, for the Debian project (but may be used by others).