Skip to content

Replace community/gringo with testing/clingo

Sören Tempel requested to merge nmeum/aports:clingo-and-gringo into master

The gringo code from sourceforge is considered legacy by upstream and has been integrated into the clingo repository. We could also move clingo to community/ but since I am not actually using it I would prefer not to. Thoughts?

See also: https://potassco.org/

See #11577 (closed)

Edited by Sören Tempel

Merge request reports