The MacPorts Project

Skip to Content


MacPorts Portfiles

The MacPorts Project currently distributes 22838 ports, organized across 89 different categories and available below for viewing. This form allows you to search the MacPorts software index, last updated on 2019-12-07 at 22:18:47 UTC.


Or view the complete ports list (22838 ports).


Query Results

1 Portfile Selected

gringo 4.5.4 (source)
gringo computes an equivalent ground program
Licenses: GPL-3
Maintained by:
Categories: math devel
Platforms: darwin
Dependencies: bison re2c scons
Variants: universal