Binary: clingo

Debian packages that has this binary:

Package: gringo

/usr/bin/clingo

Random binary cloud:

hepdb-g77 ecryptfs-manager ekiga-helper memusage kchashmgr myproxy-change-pass-phrase mysqlimport amd_seamless_cubemap_per_texture arb_sync-timeout-zero arb_texture_buffer_object-negative-unsupported fbo-integer fbo-readdrawpix linguist seahorse-daemon tcpprep compstruct ptloader YUV420Down2x2 kayadoc2man clone_member mesongui WigeoN jpeg2yuv nabi s9c2html .arch-n-opsys rpdfcrop submittodebian grind autogb