
Carta.tech

Packages

spass

8
 FLOTTER.1
 Automated theorem prover for full firstorder logic with equality
 SPASS.1
 Automated theorem prover for full firstorder 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