Grounder to translate user-provided logic programs

Current version:



gringo requires the following formulae to be installed:

Reverse dependencies

The following formula requires gringo to be installed:

Formula history

Miguel Araújogringo: fix audit --warning
ilovezfsgringo 4.5.4
Alex Dunngringo 4.5.3
Nils Pascal Illenseergringo 4.5.2
Nils Pascal Illenseergringo 4.5.1
Dominyk Tillergringo: fix style nits
Nils Pascal Illenseergringo 4.5.0
Nikolaus WittensteinAdd descriptions to all remaining homebrew packages
Jack NagelPrefer to ENV["CC"]
Misty De MeoRevision formulae that are built against Homebrew libstdc++
Show all revisions of this formula