Binary: tptp_to_ladr

Debian packages that has this binary:

Package: ladr4-apps

/usr/bin/tptp_to_ladr

Random binary cloud:

ceph_test_rados_api_snapshots gnome-doc kmk_md5sum memtouch ucpp ophelp pw.x_openmpi purgestat sks-db xfhelp4 z80-unknown-coff-size asx8051 seqalign setforward fdsh ftdi_eeprom fmfconv gpiv_vorstra r.slope.aspect tmx-tokenize count ml-nlffigen uim-help units-filter sethead patextract xbuffy xcrysden xencons input