Binary: ladr_to_tptp

Debian packages that has this binary:

Package: ladr4-apps

/usr/bin/ladr_to_tptp

Random binary cloud:

ia64-linux-gnu-ranlib dnssec-trigger-control FreeCADCmd blockmedian gtkhtml-editor-test zdiff h5import faxmsg mono-test-install mpirun.py rbldns par bgw2pw.x_openmpi nmbd cdfcsp dacsacl ontocount epirunner wtdist globus-fork-starter d.ask hhsearch irkerhook-debian puic4 qemuctl screenlets snmail atk6-dump_router6 ppt2odp tv_find_grabbers