Binary: ladr_to_tptp

Debian packages that has this binary:

Package: ladr4-apps

/usr/bin/ladr_to_tptp

Random binary cloud:

objcopy distccmon-text man7 gdal_grid kaddressbook wmf2fig hydra_pmi_proxy typelib-dump pmdbg ext_framebuffer_multisample-renderbufferstorage-samples rakverb2 silvia_verifier scantv debconf-copydb einverted git-local-commits glue-sprite heat-engine kash mia-2dseriestovolume missidentify bhm pulseview archfs s3qlrm snetz vdb-unlock.2 starpu_paje_draw_histogram cd-tkdesk unclutter