gringo

Grounder to translate user-provided logic programs
https://potassco.sourceforge.io/ Formula was removed
Last versions were
4.5.4
gringo requires the following formulae to be installed:
re2c 1.0.3 Generate C-based recognizers from regular expressions
scons 3.0.1 Substitute for classic 'make' tool with autoconf/automake functionality
bison 3.0.4_1 Parser generator

Recent formula history

Dominik Moritz gringo: delete
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)

Formula code at GitHub