Binary: oclingo

Debian packages that has this binary:

Package: gringo

/usr/bin/oclingo

Random binary cloud:

rsearch-bin clamdscan sh-linux-gnu-gcc gdal_sieve.py gfal-rename ibv_rc_pingpong cmtime vc1parser aupanel slappasswd shorten createTables.php hiz-depth-test-fbo-d24s8 ufobuilder mpost vegrep cdfkempemekeepe ceph_test_rados indi_temma exedat ltsp-open mandos-keygen lps2lts segmasker nescc ploop t12out.txt.gz subunit2csv winegcc64 xlog