add section about anaconda (#13)

potassco · Nov 9, 2018 · b05962f · b05962f
1 parent ff1957b
commit b05962f
Show file tree

Hide file tree

Showing 3 changed files with 36 additions and 10 deletions.
diff --git a/guide.bib b/guide.bib
@@ -29,6 +29,13 @@ @misc{potassco
   url =           {https://potassco.org},
 }
 
+@misc{conda,
+  howpublished =  {https://conda.io},
+  key =           {conda},
+  title =         {conda website},
+  url =           {https://conda.io},
+}
+
 @article{ankolisc05a,
   author =        {C. Anger and K. Konczak and T. Linke and T. Schaub},
   journal =       {Künstliche Intelligenz},

diff --git a/introduction.tex b/introduction.tex
@@ -37,6 +37,22 @@ \subsection{Download and Installation}\label{sec:install}
 or use the Potassco mailing list:
 \href{mailto:[email protected]}{\texttt{[email protected]}}.
 
+For easily installing potassco software, including up-to-date Python-enabled \clingo\ versions,
+we recommand using the \conda~\cite{conda} package management system.
+\begin{enumerate}
+\item
+Install either the light-weight \miniconda\ or the slightly larger \anaconda\ distribution.
+The latter just ships additional packages by default, like a graphical frontend to the package manager.
+Simply follow the installation instructions on \url{https://conda.io/docs/user-guide/install/index.html} to install either of them.
+\item
+Then follow \conda's getting started guide on \url{https://conda.io/docs/user-guide/getting-started.html} to learn how to create environments and manage packages.
+\item
+At this point, \clingo\ can be installed from the potassco channel.
+Assuming you are using the command-line interface, this can be done by executing
+\code{conda install -c potassco clingo}.
+Check \url{https://anaconda.org/potassco} for more packages.
+\end{enumerate}
+
 An alternative way to install the tools is to use a package manager.
 Currently, packages and ports are available for Debian, Ubuntu, Arch Linux (AUR), and for MacOS X (via Homebrew or MacPorts).
 Note that packages installed this way are not always up to date;

diff --git a/macro.tex b/macro.tex
@@ -24,41 +24,42 @@
 
 % Systems
 
-\newcommand{\sysfont}{\textit}
 \newcommand{\acthex}{\sysfont{acthex}}
 \newcommand{\adsolver}{\sysfont{adsolver}}
+\newcommand{\anaconda}{\sysfont{anaconda}}
 \newcommand{\anthem}{\sysfont{anthem}}
 \newcommand{\asparagus}{\sysfont{asparagus}}
 \newcommand{\aspartame}{\sysfont{aspartame}}
-\newcommand{\aspic}{\sysfont{aspic}}
 \newcommand{\aspcud}{\sysfont{aspcud}}
+\newcommand{\aspic}{\sysfont{aspic}}
 \newcommand{\aspmt}{\sysfont{aspmt}}
 \newcommand{\asprin}{\sysfont{asprin}}
 \newcommand{\assat}{\sysfont{assat}}
 \newcommand{\berkmin}{\sysfont{berkmin}}
-\newcommand{\chuffed}{\sysfont{chuffed}}
 \newcommand{\chasp}{\sysfont{chasp}}
-\newcommand{\claspD}{\sysfont{claspD}}
+\newcommand{\chuffed}{\sysfont{chuffed}}
 \newcommand{\claspar}{\sysfont{claspar}}
+\newcommand{\claspD}{\sysfont{claspD}}
 \newcommand{\claspfolio}{\sysfont{claspfolio}}
-\newcommand{\clasp}{\sysfont{clasp}}
 \newcommand{\claspre}{\sysfont{claspre}}
+\newcommand{\clasp}{\sysfont{clasp}}
 \newcommand{\clingcon}{\sysfont{clingcon}}
 \newcommand{\clingo}{\sysfont{clingo}}
 \newcommand{\cmodels}{\sysfont{cmodels}}
 \newcommand{\coala}{\sysfont{coala}}
+\newcommand{\conda}{\sysfont{conda}}
 \newcommand{\cplex}{\sysfont{cplex}}
-\newcommand{\dingo}{\sysfont{dingo}}
 \newcommand{\dflat}{\sysfont{dflat}}
+\newcommand{\dingo}{\sysfont{dingo}}
 \newcommand{\dlvhex}{\sysfont{dlvhex}}
 \newcommand{\dlv}{\sysfont{dlv}}
 \newcommand{\ezcsp}{\sysfont{ezcsp}}
 \newcommand{\ezsmt}{\sysfont{ezsmt}}
 \newcommand{\fastdownward}{\sysfont{fastdownward}}
 \newcommand{\ftolp}{\sysfont{f2lp}}
 \newcommand{\gasp}{\sysfont{gasp}}
-\newcommand{\gfd}{\sysfont{g12fd}}
 \newcommand{\gecode}{\sysfont{gecode}}
+\newcommand{\gfd}{\sysfont{g12fd}}
 \newcommand{\gidl}{\sysfont{gidl}}
 \newcommand{\gnt}{\sysfont{gnt}}
 \newcommand{\gringo}{\sysfont{gringo}}
@@ -75,17 +76,18 @@
 \newcommand{\measp}{\sysfont{measp}}
 \newcommand{\metasp}{\sysfont{metasp}}
 \newcommand{\mingo}{\sysfont{mingo}}
-\newcommand{\minisat}{\sysfont{minisat}}
+\newcommand{\miniconda}{\sysfont{miniconda}}
 \newcommand{\minisatid}{\sysfont{minisatid}}
+\newcommand{\minisat}{\sysfont{minisat}}
 \newcommand{\minizinc}{\sysfont{minizinc}}
 \newcommand{\mznfzn}{\sysfont{mzn2fzn}}
 \newcommand{\nomorepp}{\sysfont{nomore++}}
 \newcommand{\oclingo}{\sysfont{oclingo}}
 \newcommand{\omiga}{\sysfont{omiga}}
+\newcommand{\picatsat}{\sysfont{picatsat}}
+\newcommand{\picat}{\sysfont{picat}}
 \newcommand{\piclasp}{\sysfont{piclasp}}
 \newcommand{\picosat}{\sysfont{picosat}}
-\newcommand{\picat}{\sysfont{picat}}
-\newcommand{\picatsat}{\sysfont{picatsat}}
 \newcommand{\plasp}{\sysfont{plasp}}
 \newcommand{\quontroller}{\sysfont{quontroller}}
 \newcommand{\reify}{\sysfont{reify}}
@@ -98,6 +100,7 @@
 \newcommand{\smodelsr}{\sysfont{smodels}$_r$}
 \newcommand{\smodels}{\sysfont{smodels}}
 \newcommand{\sugar}{\sysfont{sugar}}
+\newcommand{\sysfont}{\textit}
 \newcommand{\teaspoon}{\sysfont{teaspoon}}
 \newcommand{\unclasp}{\sysfont{unclasp}}
 \newcommand{\wasp}{\sysfont{wasp}}