summaryrefslogtreecommitdiff
path: root/pcr/gringo
AgeCommit message (Expand)Author
2014-12-15Grounding tools for (disjunctive) logic programs.Aurelien Desbrieres
2014-06-05gringoAurélien DESBRIÈRES