Project.toml

name = "NeuralPriorityOptimizer"
uuid = "7e1232c4-5598-4acc-a396-12489b5a6036"
authors = ["castrong <strongcreativesystems@gmail.com>"]
version = "0.1.0"

[deps]
Colors = "5ae59095-9a9b-59fe-a467-6f913c188581"
Convex = "f65535da-76fb-5f13-bab9-19810c17039a"
DataStructures = "864edb3b-99cc-5e75-8d2d-829cb0a9cfe8"
Gurobi = "2e9cd046-0924-5485-92f1-d5272153d98b"
HDF5 = "f67ccb44-e63f-5c2f-98bd-6dc0ccc4ba2f"
IJulia = "7073ff75-c697-5162-941a-fcdaad2a7d2a"
JuMP = "4076af6c-e467-56ae-b986-b466b2749572"
LazySets = "b4f0291d-fe17-52bc-9479-3d1a343d9043"
LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"
Mosek = "6405355b-0ac2-5fba-af84-adbd65488c0e"
MosekTools = "1ec41992-ff65-5c91-ac43-2df89e9693a4"
NeuralVerification = "146f25fa-00e7-11e9-3ae5-fdbac6e12fa7"
OnnxReader = "070f6fb0-48e7-4331-b5f5-4b1c0793f6e0"
Parameters = "d96e819e-fc66-5662-9728-84c9c7592b0a"
PicoSAT = "ff2beb65-d7cd-5ff1-a187-74671133a339"
PyCall = "438e738f-606a-5dbb-bf0a-cddfbfd45ab0"
Revise = "295af30f-e4ad-537b-8983-00126c2a3abe"
Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
VnnlibParser = "a2eb1b4f-306b-4001-92b2-1ae29ccd22f5"