forked from StanfordMSL/Neural-Network-Reach
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Project.toml
25 lines (25 loc) · 1.17 KB
/
Project.toml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
[deps]
BenchmarkTools = "6e4b80f9-dd63-53aa-95a3-0cdb28fa8baf"
CDDLib = "3391f64e-dcde-5f30-b752-e11513730f60"
COSMO = "1e616198-aa4e-51ec-90a2-23f7fbd31d8d"
Clp = "e2554f3b-3117-50c0-817c-e040a3ddf72d"
Convex = "f65535da-76fb-5f13-bab9-19810c17039a"
Distributions = "31c24e10-a181-5473-b8eb-7969acd0382f"
FileIO = "5789e2e9-d7fb-5bc7-8068-2c6fae9b9549"
GLPK = "60bf3e95-4087-53dc-ae20-288a0d20c6a6"
JLD2 = "033835bb-8acc-5ee8-8aae-3f567f8a3819"
JuMP = "4076af6c-e467-56ae-b986-b466b2749572"
LazySets = "b4f0291d-fe17-52bc-9479-3d1a343d9043"
LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"
MAT = "23992714-dd62-5051-b70f-ba57cb901cac"
MATLAB = "10e44e05-a98a-55b3-a45b-ba969058deb6"
MathOptInterface = "b8f27783-ece8-5eb3-8dc8-9495eed66fee"
MatrixEquations = "99c1a7ee-ab34-5fd5-8076-27c950a045f4"
NPZ = "15e1cf62-19b3-5cfa-8e77-841668bca605"
OrderedCollections = "bac558e1-5e72-5ebc-8fee-abe8a469f55d"
Plots = "91a5bcdd-55d7-5caf-9e0b-520d859cae80"
Polyhedra = "67491407-f73d-577b-9b50-8179a7c68029"
PyPlot = "d330b81b-6aea-500a-939a-2ce795aea3ee"
QHull = "a8468747-bd6f-53ef-9e5c-744dbc5c59e7"
SCS = "c946c3f1-0d1f-5ce8-9dea-7daa1f7e2d13"
Tracker = "9f7883ad-71c0-57eb-9f7f-b5c9e6d3789c"