-

gringo grounding tools for (disjunctive) logic programs

Used in Packages

Dependency Availability

Arch Linux
All Versions
Not available
 
CentOS
All Versions
Not available
 
Cygwin
All Versions
Not available
 
Debian
Sarge
gringo
Etch
gringo
Lenny
gringo
Squeeze
gringo
Wheezy
gringo
Jessie
gringo
Stretch
gringo
Buster
gringo
Bullseye
gringo
Sid (Unstable)
gringo
 
Fedora
17 (Beefy Miracle)
Not available
18 (Spherical Cow)
Not available
19 (Schrödinger's Cat)
Not available
20 (Heisenberg)
Not available
Fedora 21
Not available
Fedora 22
Not available
 
FreeBSD
All Versions
Not available
 
Gentoo Linux
All Versions
Not available
 
Mandrake/Mandriva Linux
All Versions
Not available
 
OpenEmbedded/Yocto Project
All Versions
Not available
 
openSUSE
All Versions
Not available
 
Mac OS X
Leopard
Not available
Snow Leopard
Not available
Lion
Not available
Mountain lion
Not available
Mavericks
Not available
Yosemite
Not available
 
Red Hat Enterprise Linux
All Versions
Not available
 
Ubuntu
Karmic
gringo
Lucid
gringo
Maverick
gringo
Natty
gringo
Oneiric
gringo
Precise
gringo
Quantal
gringo
Raring
gringo
Saucy
gringo
Trusty
gringo
Trusty (Python3)
gringo
Utopic
gringo
Utopic (Python3)
gringo
Vivid
gringo
Vivid (Python3)
gringo
Wily
gringo
Wily (Python3)
gringo
Xenial
gringo
Xenial (Python3)
gringo
Yakkety
gringo
Zesty
gringo
Artful
gringo
Bionic
gringo
Cosmic
gringo
Disco
gringo
Eoan
gringo
Focal
gringo
Groovy
gringo
Hirsute
gringo
Impish
gringo
 

Raw Rosdep Data

  {"debian"=>["gringo"], "nixos"=>["gringo"], "ubuntu"=>["gringo"]}