Binary: dfg2tptp

Debian packages that has this binary:

Package: spass

/usr/bin/dfg2tptp

Random binary cloud:

toc2cddb dzeX11-g77 ebzip g.mapsets v.net.centrality g_select_d setleds dtd2rng WritePlotcharData nmcli arb_uniform_buffer_object-negative-bindbuffer-index scl clang-modernize-3.5 fracextract faust2dssi gift-generate-inverted-file r.los hmmpgmd silodiff lp-review-notifier mp3cd otrs.AddTicketType.pl petitboot-nc rrenice widgetserver aida2root rovclock sc_tracediff fst-mor sigdigits