# HG changeset patch
# User blanchet
# Date 1385651050 -3600
# Node ID c71eb0537d37c8878a5be80f83618ac91a7f4524
# Parent  48dadf69c44d77f03a7107419468fdfa2d823ed2
updated docs

diff -r 48dadf69c44d -r c71eb0537d37 src/Doc/Nitpick/document/root.tex
--- 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.%