From 2102368c8150efa8f6117e648214f9db9f5ae0e0 Mon Sep 17 00:00:00 2001 From: santi Date: Fri, 17 Nov 2023 14:42:39 +0000 Subject: [PATCH] Slight refactor --- .idea/workspace.xml | 73 ++++++++----------- .../Utils/MIP/ortools_interface.py | 8 +- 2 files changed, 32 insertions(+), 49 deletions(-) diff --git a/.idea/workspace.xml b/.idea/workspace.xml index 6f5542289..c84993940 100644 --- a/.idea/workspace.xml +++ b/.idea/workspace.xml @@ -28,8 +28,7 @@