Binary: tptp2dfg

Debian packages that has this binary:

Package: spass

/usr/bin/tptp2dfg

Random binary cloud:

wc foomatic-perl-data gdm-binary hfaxd es faxq mock nss-config ocamlfind opendkim-default-keygen ldapcompare popmeta siege.config trademgen_extractBookingRequests bcpp cswig asranlib ceph_test_objectstore_workloadgen cf-promises freefoam-enstrophy tunes2pod bearerbox dkimproxy-verify setupnash2 njplot qs_generator socklog SpecLibCreator gpicfile xzoom