--- a/src/Doc/Nitpick/document/root.tex Thu Nov 28 15:14:00 2013 +0100
+++ b/src/Doc/Nitpick/document/root.tex Thu Nov 28 16:04:10 2013 +0100
@@ -2384,6 +2384,14 @@
\cite{kodkod-2009}. Unlike the standard version of MiniSat, the JNI version can
be used incrementally.
+\item[\labelitemi] \textbf{\textit{Riss3g}:} Riss3g is an efficient solver written in
+\cpp{}. To use Riss3g, set the environment variable \texttt{RISS3G\_HOME} to the
+directory that contains the \texttt{riss3g} executable.%
+\footref{cygwin-paths}
+The \cpp{} sources for Riss3g are available at
+\url{http://tools.computational-logic.org/content/riss3g.php}.
+Nitpick has been tested with the SAT Competition 2013 version.
+
\item[\labelitemi] \textbf{\textit{zChaff}:} zChaff is an older solver written
in \cpp{}. To use zChaff, set the environment variable \texttt{ZCHAFF\_HOME} to
the directory that contains the \texttt{zchaff} executable.%