https://bugzilla.redhat.com/show_bug.cgi?id=1093522
Scott K Logan logans@cottsay.net changed:
What |Removed |Added ---------------------------------------------------------------------------- Depends On| |1093516
Referenced Bugs:
https://bugzilla.redhat.com/show_bug.cgi?id=1093516 [Bug 1093516] Review Request: gringo - Grounding tools for (disjunctive) logic programs