always-cautious/ortools-clone
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

sat: README cleanup

Browse Source
This commit is contained in:
Corentin Le Molgat
2023-07-13 10:14:06 +02:00
parent 93a59b7bca
commit f115d1d8d2
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
ortools/sat/docs/README.md
View File

@@ -23,8 +23,8 @@ https://developers.google.com/optimization/cp/cp_solver
This document presents modeling recipes for the CP-SAT solver.
Code samples are given in C++, Python, Java and C#. Each language have different
requirements for the code samples.
Code samples are given in C++, Python, Java and C#. Each language has
different requirements for the code samples.
## Searching for one (optimal) solution of a CP-SAT model