gringo
v 5.5.0
Updated: 4 years, 4 months ago
Obsolete port, replaced by clingo
This port has been replaced by clingo.
This port has been replaced by clingo.
https://www.macports.org
This port has been deleted. This page will exist till another port with the name "gringo" comes
into existence.
| Installations |
0 |
| Requested Installations |
0 |