sat: README cleanup

google · Jul 13, 2023 · f115d1d · f115d1d
1 parent 93a59b7
commit f115d1d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/ortools/sat/docs/README.md b/ortools/sat/docs/README.md
@@ -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