GitHub repository: potassco/guide
Primary language: TeX
Created: 2017-10-04T14:00:53Z
Description: 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.