Binary: tptp_to_ladr

Debian packages that has this binary:

Package: ladr4-apps

/usr/bin/tptp_to_ladr

Random binary cloud:

rlogin-cwd cleanlinks logs2html vgexport mktorrent slog2print pamslice arcrm arb_shader_atomic_counters-array-indexing rst2latex COMPILE my-default-printer tkdiff pot2po mips-linux-gnu-objdump pepdigest gfs2_mount p11tool g.transform jparse botan-config-1.10 applypatch ml-ulex.x86-linux ptrepack chridhyper.txt remuco-mplayer shncat mathexp wrapsrv xentrace_format