summaryrefslogtreecommitdiff
path: root/pcr/gringo
AgeCommit message (Expand)Author
2016-05-30gringo-4.5.4-1: updating versionOmar Vega Ramos
2016-02-08gringo-4.5.3-1: updating versionOmar Vega Ramos
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