or-tools: revision bump (highs 1.12.0)

Signed-off-by: Rui Chen <[email protected]>

Author: chenrui333

Formula/o/or-tools.rb

@@ -2,7 +2,7 @@ class OrTools < Formula
   desc "Google's Operations Research tools"
   homepage "https://developers.google.com/optimization/"
   license "Apache-2.0"
-  revision 6
+  revision 7
   head "https://github.com/google/or-tools.git", branch: "stable"
 
   # Remove `stable` block when patch is no longer needed.