From 01b033ae32cde8fa07588f97af2af13cd0bd6084 Mon Sep 17 00:00:00 2001 From: Corentin Le Molgat Date: Mon, 2 Mar 2020 15:48:21 +0100 Subject: [PATCH] Bump OR-Tools version to 7.6 --- Version.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Version.txt b/Version.txt index 6368a4374b..86ad6e6e53 100644 --- a/Version.txt +++ b/Version.txt @@ -1,3 +1,3 @@ OR_TOOLS_MAJOR=7 -OR_TOOLS_MINOR=5 +OR_TOOLS_MINOR=6 #PRE_RELEASE=YES