Binary: tptp_to_ladr

Debian packages that has this binary:

Package: ladr4-apps

/usr/bin/tptp_to_ladr

Random binary cloud:

hilbert cloud-publish-tarball dnsmasq tapemap kde4-menu mpdallexit tcpspray arb_get_program_binary-retrievable_hint load_policy futurize-2.6 run-mozilla.sh buffy parse_net_conf dwfilter git-reintegrate JFractionLab seewbmp makedep.pl lofromtemplate mlterm NetAnim pcappick pcl_generate sisc tomoyo-selectpolicy SpectraFilterNLargest tthsum tlcl_generator handjoob xxgdb