Binary: tptp_to_ladr

Debian packages that has this binary:

Package: ladr4-apps

/usr/bin/tptp_to_ladr

Random binary cloud:

ld condor_vacate dtestx thin_check __init__.pyo triangulate r.rescale qrstat mono-gdb.py anytopnm coverage.php pserve puppet-lint photorec xrdp-sesadmin adnslogres bregex i586-linux-gnu-strip fastx_renamer copyBuggySource findimagedupes ktp-debugger krb5-sync hb-ot-shape-closure maitreya7 sxw2txt ofonod encode.py scilab-cli-bin sz80