GitHub repository: schellhorn/guide
Primary language: TeX
Description: An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.