Age | Commit message (Expand) | 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 |