From f115d1d8d2d6d161753d6dc02a281e862cd82db1 Mon Sep 17 00:00:00 2001 From: Corentin Le Molgat Date: Thu, 13 Jul 2023 10:14:06 +0200 Subject: [PATCH] sat: README cleanup --- ortools/sat/docs/README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/ortools/sat/docs/README.md b/ortools/sat/docs/README.md index 46e72efd9b1..2931aeb4225 100644 --- 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