Binary: dfg2tptp

Debian packages that has this binary:

Package: spass

/usr/bin/dfg2tptp

Random binary cloud:

fipscheck grdmath inputattach logfactor5 blkdeactivate ntfsmftalloc ntp-wait pkcs15-init ophelp tap2deb qd-config lambda.x_openmpi uuname CuteSdr wmdocker mklost+found c_random.o cmafihe zcat avimake contig_draw mcpmv osgparticle pixelize nib-nifti-dx skeinforge_craft sg_decode_sense ml-build extract++ wildmidi