Merge pull request #308 from dionysos-dev/ab/update_bench_toml

Fix bench/Project.toml
dionysos-dev · Oct 4, 2023 · 4d80616 · 4d80616
2 parents 9eb97f6 + 5bda14b
commit 4d80616
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/bench/Project.toml b/bench/Project.toml
@@ -3,18 +3,19 @@ BenchmarkTools = "6e4b80f9-dd63-53aa-95a3-0cdb28fa8baf"
 CDDLib = "3391f64e-dcde-5f30-b752-e11513730f60"
 CSV = "336ed68f-0bac-5ca0-87d4-7b16caf5d00b"
 DataFrames = "a93c6f00-e57d-5684-b7b6-d8193f3e46c0"
-Dionysos = "d92c97cf-b87d-42c1-a9c0-25df00b4d958"
 FillArrays = "1a297f60-69ca-5386-bcde-b61e274b549b"
 HiGHS = "87dc4568-4c63-4d18-b0c0-bb2238e4078b"
 HybridSystems = "2207ec0c-686c-5054-b4d2-543502888820"
 IntervalArithmetic = "d1acc4aa-44c8-5952-acd4-ba5d80a2a253"
 Ipopt = "b6b21f68-93f8-5de0-b562-5493be1d77c9"
 JuMP = "4076af6c-e467-56ae-b986-b466b2749572"
 MathematicalSystems = "d14a8603-c872-5ed3-9ece-53e0e82e39da"
+Mosek = "6405355b-0ac2-5fba-af84-adbd65488c0e"
 MosekTools = "1ec41992-ff65-5c91-ac43-2df89e9693a4"
 OSQP = "ab2f91bb-94b4-55e3-9ba0-7f65df51de79"
 Pavito = "cd433a01-47d1-575d-afb7-6db927ee8d8f"
 Polyhedra = "67491407-f73d-577b-9b50-8179a7c68029"
+SDPA = "b9a10b5b-afa4-512f-a053-bb3d8080febc"
 SemialgebraicSets = "8e049039-38e8-557d-ae3a-bc521ccf6204"
 StaticArrays = "90137ffa-7385-5640-81b9-e52037218182"
 Symbolics = "0c5d862f-8b57-4792-8d23-62f2024744c7"