Rechercher une page de manuel
prover9-interpformat
Langue: en
Version: 150086 (fedora - 04/07/09)
Section: 1 (Commandes utilisateur)
NAME
interpformat - tool for transforming mace4(1) modelsSYNOPSIS
interpformat [options] <transformation> -f input-file > output-fileinterpformat [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.
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 <pcc03@doc.ic.ac.uk>, for the Debian project (but may be used by others).
Contenus ©2006-2024 Benjamin Poulain
Design ©2006-2024 Maxime Vantorre