prover9-interpformat (1) - Linux Man Pages
prover9-interpformat: tool for transforming
NAMEinterpformat - tool for transforming mace4(1) models
SYNOPSISinterpformat [options] <transformation> -f input-file > output-file
interpformat [options] <transformation> < input-file > output-file
DESCRIPTIONThe models (structures) in mace4(1) output files can be transformed in various ways with the program interpformat.
TRANSFORMATIONSThe transformations are listed here.
- one line per operation
- standard, with binary operations in a square (default)
- list of lists, suitable for parsing by Python, GAP, etc.
- as nice tables
- similar to standard, but without punctuation
- as terms, e.g., f(0,1)=2
- formatted for LaTeX
OPTIONSA summary of options is included below.
- output <operations>
- Output only the listed operations.
AUTHORinterpformat was written by William McCune <mccune [at] cs.unm.edu>
This manual page was written by Peter Collingbourne <pcc03 [at] doc.ic.ac.uk>, for the Debian project (but may be used by others).
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.