Binary: gringo

Debian packages that has this binary:

Package: gringo

/usr/bin/gringo