Binary: tptp_to_ladr

Debian packages that has this binary:

Package: ladr4-apps

/usr/bin/tptp_to_ladr

Random binary cloud:

archivemount dvd+rw-mediainfo d.vect.chart g_spol usernetctl unicode_start lbzdiff export_stats_9pOps lablgl dbcolstats qtconfig scotch_gotst wxmlgetvalue code2html dh_icons mpgprobe maskfeat ksu.heimdal am7xxx-modeswitch mate-power-manager obdgpslogger perditiondb_mysql_makedb protdist piglit_test pg_receivexlog pristine-bz2 science-statistics squeue vbvec2hdr yaskkserv_normal