Binary: dfg2tptp

Debian packages that has this binary:

Package: spass

/usr/bin/dfg2tptp

Random binary cloud:

man4x unfreeze ssindex grass jack_lsp pcl_elch symfony pyrsa-decrypt-bigfile-2 shinken strongswan dispread powerpc-linux-gnu-c++filt cthumb doxysearch.cgi freefoam-streamFunction gource grail-test-3-1 r.regression.line icns2png mgm photofloat polygraph-pgl2ldif pycode-browser zhpy maildirwatch ristretto sim_mira run.x86-linux.so busctl PTModel