Binary: dfg2tptp

Debian packages that has this binary:

Package: spass

/usr/bin/dfg2tptp

Random binary cloud:

ranlib gnucap mlpack_hmm_viterbi mstmtserver mpicxx ylist rgtc-teximage-01 pyrsa-sign pywbemcli will_ruby_raise x2gopath grep ax25rtctl fcopy ffindex_build java gshhg_dp zfgrep newsq gdcmpap3 lzma_alone dupemap mcxdeblast ompi-probe ns-convert tsk_gettimes rtpw tcpspy texdirflatten fillmask