Binary: oclingo

Debian packages that has this binary:

Package: gringo

/usr/bin/oclingo

Random binary cloud:

abrt-auto-reporting euca-describe-images fvconverter fts-transfer-delete guacd ldbadd rcopy llvm-bcanalyzer mdb-parsecsv clog2TOslog2 upssched crm_shadow libtool sg_ident varnishtest denemo runant.py gnt-backup i.modis.qc r.patch itweb-settings icewmhint-experimental make_combined_log2 pgbench blkcat snapperd tabble tempest_for_mp3 OpenSwathDIAPreScoring uwsgi_v8