--- a/doc-src/Nitpick/nitpick.tex Sun Sep 25 18:43:25 2011 +0200
+++ b/doc-src/Nitpick/nitpick.tex Sun Sep 25 18:43:25 2011 +0200
@@ -2381,11 +2381,6 @@
\url{http://www.princeton.edu/~chaff/zchaff.html}. Nitpick has been tested with
versions 2004-05-13, 2004-11-15, and 2007-03-12.
-\item[$\bullet$] \textbf{\textit{zChaff\_JNI}:} The JNI version of zChaff is
-bundled with Kodkodi and is precompiled for the major
-platforms. It is also available from \texttt{native\-solver.\allowbreak tgz},
-which you will find on Kodkod's web site \cite{kodkod-2009}.
-
\item[$\bullet$] \textbf{\textit{RSat}:} RSat is an efficient solver written in
\cpp{}. To use RSat, set the environment variable \texttt{RSAT\_HOME} to the
directory that contains the \texttt{rsat} executable.%