gringo

Grounder to translate user-provided logic programs
https://potassco.sourceforge.io/

Current versions
4.5.4

gringo requires the following formulae to be installed:
re2c 1.0.2 Generate C-based recognizers from regular expressions
scons 3.0.0_1 Substitute for classic 'make' tool with autoconf/automake functionality
bison 3.0.4_1 Parser generator

Reverse dependencies

The following formula requires gringo to be installed:
aspcud 1.9.1 Package dependency solver

Formula history

ilovezfs gringo: remove SCons 3.0 build fix
ilovezfs gringo: use 2to3- instead of 2to3
ilovezfs gringo: fix build with SCons 3.0 (#18295)
ilovezfs gringo: new mirror (#11684)
Miguel Araújo gringo: fix audit --warning
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
Show all revisions of this formula