# 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.%