Binary: clingo

Debian packages that has this binary:

Package: gringo

/usr/bin/clingo

Random binary cloud:

objcopy dvtm rlogin-cwd gettextize kgetcred macho-dump mlogc combine ods-enforcerd arb_uniform_buffer_object-uniformblockbinding pinentry-qt4 rmol asciidoctor scribus sms_ntsc_benchmark winebuild actexec anytun-config arm-none-eabi-gprof multinet d.erase applyfilter poldi-ctrl lldb neutron-ns-metadata-proxy pkfilterdem droplang qemu-nbd qtikz radioob