Skip to content

Commit

Permalink
Adding some cover images to make it a little more fun... I chose the …
Browse files Browse the repository at this point in the history
…playpus because like CP-SAT combines many techniques, the platypus combines various animals.
  • Loading branch information
d-krupke committed May 9, 2024
1 parent c5b8f0c commit 0dc3884
Show file tree
Hide file tree
Showing 4 changed files with 6 additions and 6 deletions.
2 changes: 1 addition & 1 deletion 00_intro.md
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

# Using and Understanding OR-Tools' CP-SAT: A Primer and Cheat Sheet

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

_By [Dominik Krupke](https://krupke.cc), TU Braunschweig_

Expand Down
2 changes: 1 addition & 1 deletion 04_modelling.md
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@

## Modelling

![Cover Image Modelling](./images/logo_2.webp)
![Cover Image Modelling](https://raw.githubusercontent.com/d-krupke/cpsat-primer/main/images/logo_2.webp)

CP-SAT provides us with much more modelling options than the classical
MIP-solver. Instead of just the classical linear constraints (<=, ==, >=), we
Expand Down
2 changes: 1 addition & 1 deletion 05_parameters.md
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@

## Parameters

![Cover Image Parameters](./images/logo_3.webp)
![Cover Image Parameters](https://raw.githubusercontent.com/d-krupke/cpsat-primer/main/images/logo_3.webp)

The CP-SAT solver has a lot of parameters to control its behavior. They are
implemented via
Expand Down
6 changes: 3 additions & 3 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@

# Using and Understanding OR-Tools' CP-SAT: A Primer and Cheat Sheet

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

_By [Dominik Krupke](https://krupke.cc), TU Braunschweig_

Expand Down Expand Up @@ -572,7 +572,7 @@ in many - is remarkable for a tool that is both free and open-source.

## Modelling

![Cover Image Modelling](./images/logo_2.webp)
![Cover Image Modelling](https://raw.githubusercontent.com/d-krupke/cpsat-primer/main/images/logo_2.webp)

CP-SAT provides us with much more modelling options than the classical
MIP-solver. Instead of just the classical linear constraints (<=, ==, >=), we
Expand Down Expand Up @@ -1772,7 +1772,7 @@ If you need more, you can check out the

## Parameters

![Cover Image Parameters](./images/logo_3.webp)
![Cover Image Parameters](https://raw.githubusercontent.com/d-krupke/cpsat-primer/main/images/logo_3.webp)

The CP-SAT solver has a lot of parameters to control its behavior. They are
implemented via
Expand Down

0 comments on commit 0dc3884

Please sign in to comment.