Cuts: Store variable names

This commit is contained in:
2023-01-23 15:15:53 -06:00
parent 41f9234de1
commit b5a76e4588
4 changed files with 16 additions and 7 deletions

View File

@@ -1,5 +1,6 @@
[deps]
HDF5 = "f67ccb44-e63f-5c2f-98bd-6dc0ccc4ba2f"
JuMP = "4076af6c-e467-56ae-b986-b466b2749572"
MIPLearn = "2b1277c3-b477-4c49-a15e-7ba350325c68"
Revise = "295af30f-e4ad-537b-8983-00126c2a3abe"
Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"