Add Pipfile to repository

This Pipfile allows dependencies to be managed.
2021-06-10 17:54:15 -05:00 · 2021-06-10 17:54:15 -05:00 · 988f354a84
commit 988f354a84
parent 245248f320
1 changed files with 12 additions and 0 deletions
--- a/12
+++ b/12
@ -0,0 +1,12 @@
+[[source]]
+url = "https://pypi.org/simple"
+verify_ssl = true
+name = "pypi"
+
+[packages]
+ortools = "~=9.0"
+
+[dev-packages]
+
+[requires]
+python_version = "3.9"