Binary: tptp_to_ladr

Debian packages that has this binary:

Package: ladr4-apps

/usr/bin/tptp_to_ladr

Random binary cloud:

afpcmd apack byobu-select-profile irqbalance pgpewrap pnmtofiasco subunit-1to2 specrb siege.config odvitype coraid-update create_bmp_for_symmetrical_stripline blam booldnf shef Forcevideo-drbl-live e2undo xdfcopy fuse-ext2 mbconv llvm-tblgen mia-2dseriesgradMAD osggeometry pybabel-python2 make_library_id_lists.py rage4.rb mmk_m2-int64 sim_lisp storeBackupVersions schedulerinfo