summaryrefslogtreecommitdiff
path: root/pcr/gringo/PKGBUILD
AgeCommit message (Expand)Author
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