Package: spass

"spass" package binaries on Debian:

/usr/bin/dfg2ascii /usr/bin/dfg2dfg /usr/bin/dfg2otter /usr/bin/dfg2otter.pl /usr/bin/dfg2tptp /usr/bin/FLOTTER /usr/bin/SPASS /usr/bin/tptp2dfg

You may install this package on Debian with apt-get install spass