--- a/src/Doc/Nitpick/document/root.tex Tue Apr 28 22:56:28 2015 +0200
+++ b/src/Doc/Nitpick/document/root.tex Tue Apr 28 22:56:50 2015 +0200
@@ -2785,6 +2785,10 @@
\item[\labelitemi] All constants, types, free variables, and schematic variables
whose names start with \textit{Nitpick}{.} are reserved for internal use.
+
+\item[\labelitemi] Some users report technical issues with the default SAT
+solver on Windows. Setting the \textit{sat\_solver} option
+(\S\ref{optimizations}) to \textit{MiniSat\_JNI} should solve this.
\end{enum}
\let\em=\sl