dfg2ascii(1)

Usage

dfg2ascii <infile>

Overview

dfg2ascii is a program to convert a problem input file in DFG format into pretty-printed ASCII text. It prints out the axioms and the conjectures, in that order.

Releases

7 releases since Debian 3.1 (Sarge); the text changed 1 time.

checkstat(1) filestat(1) pcs(1) checks SPASS proofs pgen(1) generates single step proof obligations out of a DFG (SPASS) proof rescmp(1) tpform(1) tpget(1) deprose(1) dfg2otter(1) transforms DFG clause files into Otter format SPASS(1) automated theorem prover for full first-order logic with equality

Usage

Overview

Releases

See also