gringo

Grounder to translate user-provided logic programs

Current version:
4.5.4

Homepage: http://potassco.sourceforge.net/

Dependencies

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 ENV.cc 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