Binary: clingo

Debian packages that has this binary:

Package: gringo

/usr/bin/clingo

Random binary cloud:

pwd radlast v.qcount hp_testOrthogonalSkyMap mimedefang mpitests-osu_gather sgmlnorm par POST pom2 sepolgen getpeername weechat-curses baycomusb patpost expect_weather transponder gksm2ps flickcurl jcf-dump-4.9 genparse grc splitkomdb avenger.deliver nglister filter_hssp pdf-slices svn-buildpackage wrap..exec lxterm