SIMPLE SOLUTIONS

Manual pages

Scope: SPASS.

[ Alias ↣ ] Name (section) Brief
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.
FLOTTER(1) ↣ SPASS(1) Automated theorem prover for full first-order logic with equality.
SPASS(1) Automated theorem prover for full first-order logic with equality.
tptp2dfg(1) Transforms DFG files into TPTP files.
Go top Index Scopes