Binary: dfg2tptp

Debian packages that has this binary:

Package: spass

/usr/bin/dfg2tptp

Random binary cloud:

conman corosync-cfgtool h5debug kadmin hpcups-update-ppds gencmn caca-config gjar lchage mmg3d4 ppm3d test_mpi_mpich glx-import-context-single-process texrect-many tm_lush gnat2xml autoscan2.13 dbcheck caja optimize2bw jajuk jrubyc kritagemini hboot net_dropmonitor-report mueval python3.4-dbg pilconvert.py seetxt xastir_udp_client