NAME¶

interpformat - tool for transforming mace4(1) models

SYNOPSIS¶

interpformat [options] <transformation> -f input-file > output-file
interpformat [options] <transformation> < input-file > output-file

DESCRIPTION¶

The models (structures) in mace4(1) output files can be transformed in various ways with the program interpformat.

TRANSFORMATIONS¶

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

OPTIONS¶

A summary of options is included below.

output <operations>

Output only the listed operations.

wrap

Enclose output in list(interpretations).

SEE ALSO¶

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.

AUTHOR¶

interpformat was written by William McCune <mccune@cs.unm.edu>

This manual page was written by Peter Collingbourne <peter@pcc.me.uk>, for the Debian project (but may be used by others).