Binary: ladr_to_tptp

Debian packages that has this binary:

Package: ladr4-apps

/usr/bin/ladr_to_tptp

Random binary cloud:

automount2amd cupsdisable g_confrms_d knotc mcomp mdu arb_sync-delete pppoe-start system-config-date tsocks isql-vt asmon cgclassify crsh popbugs debclean dumpasn1 edamname po2txt x86_64-w64-mingw32-gnatlink-win32 akonadi_migration_agent is.pl lightdm-kde-greeter macho-dump-3.5 ocat bluetooth_scan do_auth atk6-thcping6 traceproto.db es2ts