summaryrefslogtreecommitdiff
path: root/pcr/gringo
AgeCommit message (Collapse)Author
2015-07-05gringo-4.5.0-1: updating versionOmar Vega Ramos
2015-04-30gringo-4.4.0-1: rebuildOmar Vega Ramos
2014-12-15Grounding tools for (disjunctive) logic programs.Aurelien Desbrieres
2014-06-05gringoAurélien DESBRIÈRES