pkgs.loginroot.com
Home
Packages
Binaries
Package: gringo
"
gringo
" package binaries on
Debian
:
/usr/bin/clingo
/usr/bin/gringo
/usr/bin/iclingo
/usr/bin/oclingo
You may install this package on Debian with
apt-get install gringo