summarylogtreecommitdiffstats
AgeCommit message (Collapse)Author
2016-10-12depends: replace gringo by clingoVincent Bernardoff
2015-06-27Initial importVincent Bernardoff