From 690e9e78e27f600de646be8379c6a12ff61cfcf5 Mon Sep 17 00:00:00 2001
From: Gleb Belov <gleb@ampl.com>
Date: Fri, 29 Dec 2023 22:25:21 +1100
Subject: [PATCH] Sol check: link to 'modeling-tools.html'

---
 doc/source/modeling-expressions.rst | 12 +++++++++---
 doc/source/modeling-tools.rst       |  4 +++-
 include/mp/flat/sol_check.h         |  2 +-
 3 files changed, 13 insertions(+), 5 deletions(-)

diff --git a/doc/source/modeling-expressions.rst b/doc/source/modeling-expressions.rst
index 7a2a4f48c..e09906da1 100644
--- a/doc/source/modeling-expressions.rst
+++ b/doc/source/modeling-expressions.rst
@@ -625,12 +625,16 @@ these functions.
 Gurobi 11 defaults to piecewise-linear approximation of these functions
 as part of its preprocessing. However, Gurobi :ref:`option <solver-options>` ``alg:global``
 (``pre:funcnonlinear``) sets the default to the new MINLP capability ---
-`global nonlinear solving <https://www.gurobi.com/>`_ via spatial branching::
+`global nonlinear solving <https://www.gurobi.com/>`_ via spatial branching:
+
+.. code-block:: ampl
 
   ampl: option gurobi_options 'global=1'; solve;
 
 For individual constraints and objectives, the choice of global solving vs
-piecewise-linear approximation can be performed via the `.global` suffix::
+piecewise-linear approximation can be performed via the ``.global`` suffix:
+
+.. code-block:: text
 
   pre:funcnonlinear (funcnonlinear, global)
       Controls how general functions with their constraint's or objective's
@@ -648,7 +652,9 @@ See our `Christmas tree decorations Streamlit example <https://ampl.com/streamli
 using global optimization.
 
 Piecewise-linear aproximation can be influenced by setting
-the following options in the AMPL ``gurobi_options`` string::
+the following options in the AMPL ``gurobi_options`` string:
+
+.. code-block:: text
 
   pre:funcpieces
       Sets the strategy for constructing a piecewise-linear approximation of a
diff --git a/doc/source/modeling-tools.rst b/doc/source/modeling-tools.rst
index 92081b18e..7453f25c6 100644
--- a/doc/source/modeling-tools.rst
+++ b/doc/source/modeling-tools.rst
@@ -21,7 +21,9 @@ Method 1: acceptance options
 
 List the solver's natively supported constraints,
 by running the solver executable with the ``-=acc`` command-line switch
-which lists all solver options starting with the ``acc:`` prefix::
+which lists all solver options starting with the ``acc:`` prefix:
+
+.. code-block:: bash
 
   gurobi -=acc
 
diff --git a/include/mp/flat/sol_check.h b/include/mp/flat/sol_check.h
index 8b2cfd3d3..21557a2da 100644
--- a/include/mp/flat/sol_check.h
+++ b/include/mp/flat/sol_check.h
@@ -222,7 +222,7 @@ class SolutionChecker {
     if (f_idealistic && chk.HasAnyViols())
       wrt.write(
             "AMPL may evaluate constraints/objectives differently\n"
-            "than the solver, see mp.ampl.com/solution-check.html.");
+            "than the solver, see mp.ampl.com/modeling-tools.html.");
     chk.SetReport( wrt.str() );
   }