From 40b213ff95ce1bddbb44cac6e62588aefade8eeb Mon Sep 17 00:00:00 2001 From: Laurent Perron Date: Mon, 16 Oct 2023 09:34:58 +0200 Subject: [PATCH] missing navbar --- ortools/sat/docs/troubleshooting.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/ortools/sat/docs/troubleshooting.md b/ortools/sat/docs/troubleshooting.md index c1f7d43150..ed921ef8e6 100644 --- a/ortools/sat/docs/troubleshooting.md +++ b/ortools/sat/docs/troubleshooting.md @@ -1,3 +1,5 @@ +[home](README.md) | [boolean logic](boolean_logic.md) | [integer arithmetic](integer_arithmetic.md) | [channeling constraints](channeling.md) | [scheduling](scheduling.md) | [Using the CP-SAT solver](solver.md) | [Model manipulation](model.md) | [Troubleshooting](troubleshooting.md) | [Python API](https://google.github.io/or-tools/python/ortools/sat/python/cp_model.html) +----------------- | --------------------------------- | ------------------------------------------- | --------------------------------------- | --------------------------- | ------------------------------------ | ------------------------------ | ------------------------------------- | --------------------------------------------------------------------------------------- # Troubleshooting ## Enable logging