master
  1. guide
Name
potassco's repositories
.github
examples
figures
.gitignore
.latexmkrc
CC-88x31.png
LICENSE.md
Makefile
README.md
abstract.tex
background.tex
by-sa.pdf
comments.sty
configuration.tex
constraint.tex
errors.tex
examples.tex
frontpage.tex
future.tex
gringo3.tex
guide.bib
guide.ind
guide.rao
guide.tex
heuristic.tex
iclingo.tex
introduction.tex
language.tex
lparse.tex
macro.tex
meta.tex
multi.tex
options.tex
potassco_logo_blue.pdf
prefopt.tex
quickstart.tex
rail.sty
resources.tex
theory.tex
todo.tex