Binary: dfg2tptp

Debian packages that has this binary:

Package: spass

/usr/bin/dfg2tptp

Random binary cloud:

sh64-linux-gnu-size cp2k.sopt gtali updateinfoxml2solv slog2print slaptest fixwfwps lupdate-qt5 rmol_drawBPC pxelinux-options bison.yacc seqsort hime-juyin-learn idba_hybrid check_lft_balance create-bridge-sql.pl llvm-mcmarkup netmdcli MonoDevelop.exe.config builder-c++ iolatency pb-discover cpu_topology ppdfilt hy2py3 FastTree qmpdclient ratproxy-report tv tblcvt