Binary: tptp2dfg

Debian packages that has this binary:

Package: spass

/usr/bin/tptp2dfg

Random binary cloud:

cake fusioninventory-netinventory git-restore-mtime ircd makeobj hdmv_test mtp11-detect mysql_install_db pswhite ocamldebug dnsreplay vipw xgrep __init__.py zile bzip2 bundlelinks drbl-cp newinclude gappletviewer surface lxc-test-may-control otrs.AddQueue.pl inherita python3dm-config relion_run_ctffind_mpi setcd siege2csv inimf upstart-file-bridge