Binary: tptp_to_ladr

Debian packages that has this binary:

Package: ladr4-apps

/usr/bin/tptp_to_ladr

Random binary cloud:

loopctrl dcopserver lpasswd mpirun_rsh tex-miplevel-selection coherence zoom2sam.pl shinken scs2pdf tpm_restrictsrk httxt2dbm powerpc-linux-gnu-ar filter mkslapdcert translate_cmip3 transformix getorf ip2hostname x_over ghcal mv lemonldap-ng-cli gdcmviewer osgshaderterrain ossim-applanix2ogeom pgdbf atk6-fragmentation6 vala-dbus-binding-tool vflmkekan z88i1