equal
deleted
inserted
replaced
2379 \footref{cygwin-paths} |
2379 \footref{cygwin-paths} |
2380 The \cpp{} sources and executables for zChaff are available at |
2380 The \cpp{} sources and executables for zChaff are available at |
2381 \url{http://www.princeton.edu/~chaff/zchaff.html}. Nitpick has been tested with |
2381 \url{http://www.princeton.edu/~chaff/zchaff.html}. Nitpick has been tested with |
2382 versions 2004-05-13, 2004-11-15, and 2007-03-12. |
2382 versions 2004-05-13, 2004-11-15, and 2007-03-12. |
2383 |
2383 |
2384 \item[$\bullet$] \textbf{\textit{zChaff\_JNI}:} The JNI version of zChaff is |
|
2385 bundled with Kodkodi and is precompiled for the major |
|
2386 platforms. It is also available from \texttt{native\-solver.\allowbreak tgz}, |
|
2387 which you will find on Kodkod's web site \cite{kodkod-2009}. |
|
2388 |
|
2389 \item[$\bullet$] \textbf{\textit{RSat}:} RSat is an efficient solver written in |
2384 \item[$\bullet$] \textbf{\textit{RSat}:} RSat is an efficient solver written in |
2390 \cpp{}. To use RSat, set the environment variable \texttt{RSAT\_HOME} to the |
2385 \cpp{}. To use RSat, set the environment variable \texttt{RSAT\_HOME} to the |
2391 directory that contains the \texttt{rsat} executable.% |
2386 directory that contains the \texttt{rsat} executable.% |
2392 \footref{cygwin-paths} |
2387 \footref{cygwin-paths} |
2393 The \cpp{} sources for RSat are available at |
2388 The \cpp{} sources for RSat are available at |