Age | Commit message (Collapse) | Author | |
---|---|---|---|
2016-05-30 | gringo-4.5.4-1: updating version | Omar Vega Ramos | |
2016-02-08 | gringo-4.5.3-1: updating version | Omar Vega Ramos | |
2015-07-05 | gringo-4.5.0-1: updating version | Omar Vega Ramos | |
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 | |