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"]}