Binary: ladr_to_tptp

Debian packages that has this binary:

Package: ladr4-apps

/usr/bin/ladr_to_tptp

Random binary cloud:

mn10300-linux-gnu-ar btrfsck kfile kdesvn llvm-mc chktrust xmltidy qpdfview rpc.rquotad vhd-update buildd-uploader ceph_test_cls_refcount gmod_load_cvterms.pl ct_run gpiv_flipx docheckgroups input-kbd jardetector lastex libde265-dec265 mppb mix dvdvideo-backup-image quassel rng testrb2.1 tcptraceroute.mt texifyc++ xt-install-image zssh