---
name: "interpformat"
section: "1"
platform: "linux"
package: "prover9"
version: "0.0.200911a-2.1+b2"
release: "Debian 10 (Buster)"
platforms: ["linux"]
url: "https://new.carta.tech/interpformat"
---

# interpformat(1)

tool for transforming mace4(1) models

## NAME

interpformat - tool for transforming [**mace4**(1)](/mace4/1.md) models

## SYNOPSIS

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

## DESCRIPTION

The models (structures) in [**mace4**(1)](/mace4/1.md) 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)](/mace4/1.md).\
 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).