Binary: tptp2dfg

Debian packages that has this binary:

Package: spass

/usr/bin/tptp2dfg

Random binary cloud:

flow-send purple-client-example sha256deep pvftovoc mpitests-osu_allreduce express fdo23489 lrelease-qt4 dmesg apt-offline ld.bfd cf-key cbc fibmap.f2fs gnomecatalog dtemacs gpp legit schwartzmon nwns mpeg3peek osgsharedarray zserv pcappick dlda-landscape sisu-pdf-portrait slmseg upstart-udev-bridge wavtool-pl whirlgif