Binary: ladr_to_tptp

Debian packages that has this binary:

Package: ladr4-apps

/usr/bin/ladr_to_tptp

Random binary cloud:

canlisp ceph_test_ioctls pingAll condor_status msgsnarf r.in.gridatb lxc-unshare mysqluserclone pnmenlarge podofopages ps calibre-debug clang-tidy-3.5 clinfo installdeb-wordlist fd-commit giws v.info ptywrap x86_64-linux-gnu-python3.4dm-config sched-migration-report lsh-writekey zcov-genhtml.gz camera-calib mumble-django-configure owx-check xenserver.rb sdar i1620 odt2txt.unoconv