gringo

Grounder to translate user-provided logic programs

Current version:
4.5.4

Homepage:https://potassco.sourceforge.io/

Dependencies

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 ENV.cc to ENV["CC"]
Misty De MeoRevision formulae that are built against Homebrew libstdc++
Show all revisions of this formula