Binary: ladr_to_tptp

Debian packages that has this binary:

Package: ladr4-apps

/usr/bin/ladr_to_tptp

Random binary cloud:

m32r-linux-gnu-nm ld cube_commoncalltree dhcrelay docco kswitch arb-provoking-vertex-initial qdbus-qt5 ld1.x_mpich onto2vocabularyclass pia auth2db-alert btlaunchmany.bittornado bplay csb64enc pamd profit gfan_tropicalintersection r.in.gridatb dl10k1 sc-config xsp2 is_newer_than prepop.pl mkgeo_grid sc_warts2text mmk_m3-int64 lsw tucnak xen-dir