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
|