Age | Commit message (Expand) | Author |
---|---|---|
2015-04-30 | gringo-4.4.0-1: rebuild | Omar Vega Ramos |
2014-12-15 | Grounding tools for (disjunctive) logic programs. | Aurelien Desbrieres |
2014-06-05 | gringo | Aurélien DESBRIÈRES |
index : abslibre | ||
mirror of git://projects.parabola.nu/abslibre.git | Parabola git mirror |
summaryrefslogtreecommitdiff |
Age | Commit message (Expand) | Author |
---|---|---|
2015-04-30 | gringo-4.4.0-1: rebuild | Omar Vega Ramos |
2014-12-15 | Grounding tools for (disjunctive) logic programs. | Aurelien Desbrieres |
2014-06-05 | gringo | Aurélien DESBRIÈRES |