Skip to content

Commit

Permalink
Small changes in structure
Browse files Browse the repository at this point in the history
  • Loading branch information
d-krupke committed Jul 22, 2024
1 parent 77f409d commit 3c505ed
Show file tree
Hide file tree
Showing 4 changed files with 19 additions and 13 deletions.
13 changes: 7 additions & 6 deletions 00_intro.md
Original file line number Diff line number Diff line change
Expand Up @@ -84,15 +84,16 @@ deeper.
as circuit constraints and intervals.
5. [Parameters](#05-parameters): How to specify CP-SATs behavior, if needed.
Timelimits, hints, assumptions, parallelization, ...
6. [Coding Patterns](#06-coding-patterns): Basic design patterns for creating
6. [Understanding the Log](#understanding-the-log): How to interpret the log
7. [Coding Patterns](#06-coding-patterns): Basic design patterns for creating
maintainable algorithms.
7. [How does it work?](#07-under-the-hood): After we know what we can do with
8. [How does it work?](#07-under-the-hood): After we know what we can do with
CP-SAT, we look into how CP-SAT will do all these things.
8. [Alternatives](#03-big-picture): An overview of the different optimization
9. [Alternatives](#03-big-picture): An overview of the different optimization
techniques and tools available. Putting CP-SAT into context.
9. [Benchmarking your Model](#08-benchmarking): How to benchmark your model and
how to interpret the results.
10. [Large Neighborhood Search](#09-lns): The use of CP-SAT to create more
10. [Benchmarking your Model](#08-benchmarking): How to benchmark your model and
how to interpret the results.
11. [Large Neighborhood Search](#09-lns): The use of CP-SAT to create more
powerful heuristics.

---
Expand Down
15 changes: 9 additions & 6 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -88,15 +88,16 @@ deeper.
as circuit constraints and intervals.
5. [Parameters](#05-parameters): How to specify CP-SATs behavior, if needed.
Timelimits, hints, assumptions, parallelization, ...
6. [Coding Patterns](#06-coding-patterns): Basic design patterns for creating
6. [Understanding the Log](#understanding-the-log): How to interpret the log
7. [Coding Patterns](#06-coding-patterns): Basic design patterns for creating
maintainable algorithms.
7. [How does it work?](#07-under-the-hood): After we know what we can do with
8. [How does it work?](#07-under-the-hood): After we know what we can do with
CP-SAT, we look into how CP-SAT will do all these things.
8. [Alternatives](#03-big-picture): An overview of the different optimization
9. [Alternatives](#03-big-picture): An overview of the different optimization
techniques and tools available. Putting CP-SAT into context.
9. [Benchmarking your Model](#08-benchmarking): How to benchmark your model and
how to interpret the results.
10. [Large Neighborhood Search](#09-lns): The use of CP-SAT to create more
10. [Benchmarking your Model](#08-benchmarking): How to benchmark your model and
how to interpret the results.
11. [Large Neighborhood Search](#09-lns): The use of CP-SAT to create more
powerful heuristics.

---
Expand Down Expand Up @@ -3378,6 +3379,8 @@ some conflicts.

<!-- This file was generated by the `build.py` script. Do not edit it manually. -->
<!-- understanding_the_log.md -->
<a name="understanding-the-log"></a>

# Understanding the CP-SAT Log

![Cover Image Log](https://raw.githubusercontent.com/d-krupke/cpsat-primer/main/images/logo_logs.webp)
Expand Down
2 changes: 1 addition & 1 deletion build.py
Original file line number Diff line number Diff line change
Expand Up @@ -166,7 +166,7 @@ def convert_for_mdbook(content):
---
*The CP-SAT Primer is authored by [Dominik Krupke](https://github.com/d-krupke) at [TU Braunschweig, Algorithms Division](https://www.ibr.cs.tu-bs.de/alg/index.html). It is licensed under the [CC-BY-4.0 license](https://creativecommons.org/licenses/by/4.0/).*
*The primer is written for educational purposes and does not claim to be complete or correct. If you find this primer helpful, please star the [GitHub repository](https://github.com/d-krupke/cpsat-primer/), to let me know with a single click that it has made an impact. As an academic, I also enjoy hearing about how you use CP-SAT to solve real-world problems.*
*The primer is written for educational purposes and may be incomplete or incorrect in places. If you find this primer helpful, please star the [GitHub repository](https://github.com/d-krupke/cpsat-primer/), to let me know with a single click that it has made an impact. As an academic, I also enjoy hearing about how you use CP-SAT to solve real-world problems.*
"""
content = (
"<!-- This file was generated by the `build.py` script. Do not edit it manually. -->\n"
Expand Down
2 changes: 2 additions & 0 deletions understanding_the_log.md
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
<a name="understanding-the-log"></a>

# Understanding the CP-SAT Log

![Cover Image Log](https://raw.githubusercontent.com/d-krupke/cpsat-primer/main/images/logo_logs.webp)
Expand Down

0 comments on commit 3c505ed

Please sign in to comment.