Binary: tptp2dfg

Debian packages that has this binary:

Package: spass

/usr/bin/tptp2dfg

Random binary cloud:

ds_removal ldif-bin bcfg2-server objcopy hppa64-linux-gnu-strings btrfsck ceph-authtool zftp-g77 cloud-publish-image g_protonate_d genuca libminizip-1.dll opreport fbo-depth trinity-fp1 tgt-setup-lun asciio dokuwiki-addsite fai-mirror grdmath sphtriangulate estwolefind stag-mogrify langident pcb-gtk perdition mount.ploop cluster_quality.py qutemol gcv-int64