# HG changeset patch
# User blanchet
# Date 1430254610 -7200
# Node ID 4040a5c57567886b0cfe2c530894409f7496d105
# Parent  7b051a6c9e2801a3be4736029ac80ac3988138eb
added known bug

diff -r 7b051a6c9e28 -r 4040a5c57567 src/Doc/Nitpick/document/root.tex
--- 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