From aed6208e30ca1a92d339cea7806529d08ec56c1f Mon Sep 17 00:00:00 2001 From: "Hsieh, Chiao" <chsieh16@illinois.edu> Date: Wed, 1 Dec 2021 09:25:56 -0600 Subject: [PATCH] Update requirements.txt --- requirements.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/requirements.txt b/requirements.txt index 5e20e04..d011360 100644 --- a/requirements.txt +++ b/requirements.txt @@ -1,3 +1,4 @@ gurobipy numpy +scipy z3-solver -- GitLab