Grounder to translate user-provided logic programs

Current version:



gringo requires the following formulae to be installed:

Formula history

ilovezfs gringo 4.5.4
Alex Dunn gringo 4.5.3
Nils Pascal Illenseer gringo 4.5.2
Nils Pascal Illenseer gringo 4.5.1
Dominyk Tiller gringo: fix style nits
Nils Pascal Illenseer gringo 4.5.0
Nikolaus Wittenstein Add descriptions to all remaining homebrew packages
Jack Nagel Prefer to ENV["CC"]
Misty De Meo Revision formulae that are built against Homebrew libstdc++
Nicolas Ojeda Bar gringo 4.4 & clasp 3.1 & aspcud 1.9
Show all revisions of this formula