diff --git a/Version.txt b/Version.txt
new file mode 100644
index 0000000000..9cf0f67127
--- /dev/null
+++ b/Version.txt
@@ -0,0 +1,2 @@
+OR_TOOLS_MAJOR = 6
+OR_TOOLS_MINOR = 1