Binary: dfg2tptp

Debian packages that has this binary:

Package: spass

/usr/bin/dfg2tptp

Random binary cloud:

mips64-linux-gnu-gprof calamaris ceph_test_snap_mapper m32r-linux-gnu-cpp git-ftp lid vmware-xferlogs pcl_fpfh_estimation vreg cq mkocp fake_router26 wmi mergecap isotpsniffer downtimed hexgplc gwyddion-thumbnailer cmfetch latexmlfind mate-wm MonoDevelop.Projects.Formats.MSBuild.exe.config asp-state4 mp3fs packf storeBackupConvertBackup eptex daemon.sh vmm moverrd.sh