1INTERPFORMAT(1)             General Commands Manual            INTERPFORMAT(1)
2
3
4

NAME

6       interpformat - tool for transforming mace4(1) models
7

SYNOPSIS

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

DESCRIPTION

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

TRANSFORMATIONS

17       The transformations are listed here.
18
19       standard
20              one line per operation
21
22       standard2
23              standard, with binary operations in a square (default)
24
25       portable
26              list of lists, suitable for parsing by Python, GAP, etc.
27
28       tabular
29              as nice tables
30
31       raw    similar to standard, but without punctuation
32
33       cooked as terms, e.g., f(0,1)=2
34
35       tex    formatted for LaTeX
36
37       xml    XML
38

OPTIONS

40       A summary of options is included below.
41
42       output <operations>
43              Output only the listed operations.
44

SEE ALSO

46       mace4(1).
47       Full documentation for interpformat is found  in  the  prover9  manual,
48       available   on   Debian   systems   in   the   prover9-doc  package  at
49       /usr/share/doc/prover9-doc/manual/index.html.
50

AUTHOR

52       interpformat was written by William McCune <mccune@cs.unm.edu>
53
54       This   manual    page    was    written    by    Peter    Collingbourne
55       <pcc03@doc.ic.ac.uk>,  for  the Debian project (but may be used by oth‐
56       ers).
57
58
59
60                               January 20, 2007                INTERPFORMAT(1)