Binary: tptp2dfg

Debian packages that has this binary:

Package: spass

/usr/bin/tptp2dfg

Random binary cloud:

2048 sh-linux-gnu-elfedit ec2metadata itweb-settings.itweb spfd.libspf2 belkinunv sched-migration-report perlbal stdpods pw2wannier90.x tkaenc antpm-fit2gpx frze bins blastclust dbf2mysql dh_installinit dokuwiki-delsite newseq d.linegraph alsa_in llvm-mcmarkup llvm-symbolizer mcxdump obd2gpx jstatd task_manager_pyscientific texifyB RNPxlXICFilter wdmLogin