Name
potassco-asp-course's repositories
encodings
.gitignore
LICENSE
README.md
aspif-format.tex
aspif-short.tex
basic-cardinality-rule.tex
basic-choice-rule.tex
basic-integrity-constraint.tex
basic-weight-rule.tex
conditional-literal.tex
gringo-formats.tex
gringo.tex
gringo3.tex
motivation.tex
optimization-statements.tex
smodels-format.tex
summary.tex
trash