Binary: ladr_to_tptp

Debian packages that has this binary:

Package: ladr4-apps

/usr/bin/ladr_to_tptp

Random binary cloud:

2048nc cue2toc scan-view cube_cmp gfal_testget sphinterpolate akonadiconsole doctrine clearbuffer-mixed-format redirsniff6 hexterm cobertura-check ecaccess-queue-list elyxer gnunet-identity i.maxlik r.terraflow ionscript lp-review-notifier fresh_rate_info memory_compare polygraph-server python2-jsondiff msnsetup pysnmpget shellex mmdir tagcoll spm8_reslice xymonlaunch