Binary: clingo

Debian packages that has this binary:

Package: gringo

/usr/bin/clingo

Random binary cloud:

fvbb2info mpitests-osu_gather pamfile jade.js pmchart arb_gpu_shader5-invocation-id screen mlock .htaccess batmand bbackupctl check_postgres_last_analyze expect_weather d.measure kumo-server svmocas lightspeed ext2spice mrtg-ip-acct i686-w64-mingw32-ocamlmklib policytool opj_viewer pcl_openni_3d_convex_hull pdf-slices index++ bundledoc vinetto vb2imgs vzfsync fixpix