Commits
- 142822d: New dependency checker (Antonino Natale) #38
- beaaf54: Update dependency checker (Antonino Natale) #38
- 31aaf9e: Removed submodule extra/potassco/clingo (Antonino Natale) #38
- a652aa7: Fixed submodules (Antonino Natale) #38
- 6a2ce33: Update clingo sources (Antonino Natale) #38
- 292d144: Update version (Antonino Natale) #39