Provided by: prover9_0.0.200911a-2.1build1_amd64
interpformat - 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).
mace4(1). 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@example.com> This manual page was written by Peter Collingbourne <firstname.lastname@example.org>, for the Debian project (but may be used by others). January 20, 2007 INTERPFORMAT(1)