Binary: oclingo

Debian packages that has this binary:

Package: gringo

/usr/bin/oclingo

Random binary cloud:

bgldepend ctdb dt-getname .gsissh.hmac h5fc hping2 chktrust rasttopnm nmap upscmd arb_uniform_buffer_object-getactiveuniformsiv-uniform-block-index edquota screen prop2po ae_diff2htm corosync-notifyd cpufreqd debman dee-tool exifcom freeplayer idle-python2.7 get_givens mpd-dynamic tcptraceroute6 gdal_calc.py spock since sdiag terminology