Project.toml

name = "OVERTVerify"
uuid = "184694bc-ee65-11eb-356a-b95633f1b452"
authors = ["Amir Maleki", "Chelsea Sidrane <csidrane@stanford.edu>"]
version = "0.1.0"

[deps]
Crayons = "a8cc5b0e-0ffa-5ad4-8c14-923d3ee1735f"
Dates = "ade2ca70-3891-5945-98fb-dc099432e06a"
FileIO = "5789e2e9-d7fb-5bc7-8068-2c6fae9b9549"
GLPK = "60bf3e95-4087-53dc-ae20-288a0d20c6a6"
Interpolations = "a98d9a8b-a2ab-59e6-89dd-64a1c18fca59"
Intervals = "d8418881-c3e1-53bb-8760-2df7ec849ed5"
IterTools = "c8e1da08-722c-5040-9ed9-7db0dc04731e"
JLD2 = "033835bb-8acc-5ee8-8aae-3f567f8a3819"
JuMP = "4076af6c-e467-56ae-b986-b466b2749572"
LaTeXStrings = "b964fa9f-0449-5b57-a5c2-d3ea65f4040f"
LazySets = "b4f0291d-fe17-52bc-9479-3d1a343d9043"
MathOptInterface = "b8f27783-ece8-5eb3-8dc8-9495eed66fee"
MathProgBase = "fdba3010-5040-5b88-9595-932c9decdf73"
NLsolve = "2774e3e8-f4cf-5e23-947b-6d7e65073b56"
OVERT = "07e67fc4-eb77-11eb-38c2-1307cbb1fbf4"
PGFPlots = "3b7a836e-365b-5785-a47d-02c71176b4aa"
Parameters = "d96e819e-fc66-5662-9728-84c9c7592b0a"
PlotlyBase = "a03496cd-edff-5a9b-9e67-9cda94a718b5"
Plots = "91a5bcdd-55d7-5caf-9e0b-520d859cae80"
QHull = "a8468747-bd6f-53ef-9e5c-744dbc5c59e7"
Requires = "ae029012-a4dd-5104-9daa-d747884805df"
SymEngine = "123dc426-2d89-5057-bbad-38513e3affd8"
PlotlyKaleido = "f2990250-8cf9-495f-b13a-cce12b45703c"
Plotly="58dd65bb-95f3-509e-9936-c39a10fdeae7"
[compat]
OVERT = "0.1"
Requires = "1.1"
julia = "1.5"
JuMP = "0.21"

[extras]
Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"

[targets]
test = ["Test"]