prover9-interpformat (1) Linux Manual Page
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…
