aboutsummaryrefslogtreecommitdiff
path: root/community/clingo
Commit message (Expand)AuthorAge
* community/clingo: conflict with claspSören Tempel2020-05-30
* community/clingo: move from community/gringoSören Tempel2020-05-30