Man Pages in spass

Section 1: Executable programs or shell commands

FLOTTER.1

Automated theorem prover for full first-order logic with equality

SPASS.1

Automated theorem prover for full first-order logic with equality

dfg2ascii.1

Transforms dfg files into pretty printed ascii files

dfg2dfg.1

Calculate approximations of problems

dfg2otter.1

Transforms dfg clause files into otter format

dfg2otter.pl.1

Transforms dfg clause files into otter format including otter options

dfg2tptp.1

Transforms dfg files into tptp files

tptp2dfg.1

Transforms dfg files into tptp files