Binary: clingo

objdump tbench_srv db2rtf gnatlink gpbs r.surf.idw2 g_h2order_d ph5diff ldbadd mysql-myisam-dump psidtopgm arb_clear_buffer_object-sub-overlap arb_geometry_shader4-program-parameter-vertices-out xml2dcm embossversion emesene start relpath-2.6.4 freefoam-writeCellCentres d.his qspng lli orte-ps osgkeyboardmouse ovsdb-server pcl_openni_change_viewer samba science-robotics-dev startup.sh tomoyo-domainmatch