equal
deleted
inserted
replaced
2783 \item[\labelitemi] Although this has never been observed, arbitrary theorem |
2783 \item[\labelitemi] Although this has never been observed, arbitrary theorem |
2784 morphisms could possibly confuse Nitpick, resulting in spurious counterexamples. |
2784 morphisms could possibly confuse Nitpick, resulting in spurious counterexamples. |
2785 |
2785 |
2786 \item[\labelitemi] All constants, types, free variables, and schematic variables |
2786 \item[\labelitemi] All constants, types, free variables, and schematic variables |
2787 whose names start with \textit{Nitpick}{.} are reserved for internal use. |
2787 whose names start with \textit{Nitpick}{.} are reserved for internal use. |
|
2788 |
|
2789 \item[\labelitemi] Some users report technical issues with the default SAT |
|
2790 solver on Windows. Setting the \textit{sat\_solver} option |
|
2791 (\S\ref{optimizations}) to \textit{MiniSat\_JNI} should solve this. |
2788 \end{enum} |
2792 \end{enum} |
2789 |
2793 |
2790 \let\em=\sl |
2794 \let\em=\sl |
2791 \bibliography{manual}{} |
2795 \bibliography{manual}{} |
2792 \bibliographystyle{abbrv} |
2796 \bibliographystyle{abbrv} |