|
potassco-asp-course's
repositories
|
|
pictures
|
|
.gitattributes
|
|
.gitignore
|
|
LICENSE
|
|
README.md
|
|
acclingo.tex
|
|
adlingo.tex
|
|
anthem.tex
|
|
applications.tex
|
|
architecture-one.tex
|
|
architecture.tex
|
|
asprin.tex
|
|
clasp-example.tex
|
|
clasp.tex
|
|
clingcon.tex
|
|
clingo-dl.tex
|
|
clingo-example.tex
|
|
clingo-lp.tex
|
|
clingo-lpx.tex
|
|
clingo-server.tex
|
|
clingo.tex
|
|
clingoexplaid.tex
|
|
clingraph.tex
|
|
clinguin.tex
|
|
clinsight.tex
|
|
clintest.tex
|
|
clorm.tex
|
|
eclingo.tex
|
|
fclingo.tex
|
|
gringo-example.tex
|
|
gringo-reify.tex
|
|
gringo.tex
|
|
list.org
|
|
meta-melingo.tex
|
|
metasp.tex
|
|
ngo.tex
|
|
plingo-example.tex
|
|
plingo.tex
|
|
potassco.tex
|
|
python-clingox.tex
|
|
summary.tex
|
|
systems-list.tex
|
|
telingo.tex
|
|
viasp.tex
|
|
workflow-systems.tex
|
|
xclingo-example.tex
|
|
xclingo.tex
|