Binary: tptp_to_ladr

Debian packages that has this binary:

Package: ladr4-apps

/usr/bin/tptp_to_ladr

Random binary cloud:

hlfsd bfin-linux-gnu-objdump powerpc64-linux-gnu-readelf cloud-init-per conntrackd radzap jack_unload jupp luseradd mbuffer mpitests-osu_reduce infotopam snmpconf pg_config pure-statsdecode systool tcbmttest renice xsetroot ckbcomp-mini makepercentrelay to_erl git-back x86_64-w64-mingw32-gnatxref-posix jlha ktutiltest go2owl lpsinvelm mighty mapview