Skip to content

Commit

Permalink
sat: Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
Mizux authored Aug 4, 2023
1 parent e5ac9e4 commit ed8db90
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion ortools/sat/docs/README.md
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
| [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) | [Python API](https://google.github.io/or-tools/python/ortools/sat/python/cp_model.html) |
| [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) | [Python API](https://or-tools.github.io/docs/python/ortools/sat/python/cp_model.html) |
| ----------------- | --------------------------------- | ------------------------------------------- | --------------------------------------- | --------------------------- | ------------------------------------ | ------------------------------ | -------------------------------- |

# Using the CP-SAT solver
Expand Down

0 comments on commit ed8db90

Please sign in to comment.