Binary: clingo

Debian packages that has this binary:

Package: gringo

/usr/bin/clingo

Random binary cloud:

ppdpo db_codegen enca mgd77path g_lie gunzip otf2-estimator prove.pir rexec ssldump traffic_via wxmaxima x11perfcomp xwininfo apt-show-versions arm-linux-gnueabihf-addr2line vhd-index cdbs-edit-patch mkfs.exfat gauche-config gij kdtquery gfxtest x2sys_datalist grc lzmp sftp-admin storage_test ruby science-financial