Project.toml

name = "MIPVerify"
uuid = "e5e5f8be-2a6a-5994-adbb-5afbd0e30425"
authors = ["Vincent Tjeng"]
version = "0.5.3"

[deps]
CSV = "336ed68f-0bac-5ca0-87d4-7b16caf5d00b"
DataFrames = "a93c6f00-e57d-5684-b7b6-d8193f3e46c0"
Dates = "ade2ca70-3891-5945-98fb-dc099432e06a"
DelimitedFiles = "8bb1440f-4735-579b-a4ab-409b98df4dab"
DocStringExtensions = "ffbed154-4ef7-542d-bbb7-c09d3a79fcae"
Downloads = "f43a241f-c20a-4ad4-852c-f6b1247861c6"
IntervalArithmetic = "d1acc4aa-44c8-5952-acd4-ba5d80a2a253"
JuMP = "4076af6c-e467-56ae-b986-b466b2749572"
MAT = "23992714-dd62-5051-b70f-ba57cb901cac"
MathOptInterface = "b8f27783-ece8-5eb3-8dc8-9495eed66fee"
Memento = "f28f55f0-a522-5efc-85c2-fe41dfb9b2d9"
ProgressMeter = "92933f4c-e287-5a05-a399-4b506db050ca"
Serialization = "9e88b42a-f829-5b0c-bbe9-9e923198166b"

[compat]
CSV = "0.7, 0.8, 0.9, 0.10"
DataFrames = "0.21, 0.22, 1"
DelimitedFiles = "1"
DocStringExtensions = "0.8, 0.9"
Downloads = "1.4"
HiGHS = "1.4"
IntervalArithmetic = "0.15, 0.16, 0.17, 0.18, 0.19, 0.20, 0.21, 0.22"
JuMP = "0.21.4, 0.21.5, 0.22, 0.23, 1"
MAT = "0.5, 0.6, 0.7, 0.8, 0.9, 0.10"
MathOptInterface = "0.9, 0.10, 1"
Memento = "0.13, 1"
ProgressMeter = "1"
TimerOutputs = "0.5"
julia = "1.6"

[extras]
HiGHS = "87dc4568-4c63-4d18-b0c0-bb2238e4078b"
Statistics = "10745b16-79ce-11e8-11f9-7d13ad32a3b2"
Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
TimerOutputs = "a759f4b9-e2f1-59dc-863e-4aeb61b1ea8f"

[targets]
test = ["Statistics", "Test", "HiGHS", "TimerOutputs"]