gringo

v 5.5.0 Updated: 1 year, 5 months ago

Obsolete port, replaced by clingo

This port has been replaced by clingo.

https://www.macports.org

Add to my watchlist

Installations 0
Requested Installations 0