Binary: oclingo

Debian packages that has this binary:

Package: gringo

/usr/bin/oclingo

Random binary cloud:

as tile-linux-gnu-elfedit ceph_test_rados_api_snapshots d.text i.ortho.photo qquota setkey monodocs2html ncargfile obnam-viewprof ytobin-g77 yshift-gfortran stty.pl glx-visuals-stencil qmlplugindump rbt wnb aa-audit jmkmf dt-createdb fd invoke-rc.d iodine-client-start jmac dwi2tensor rmic arc2webarc.pl otl2html sigdigits sigdigits