diff --git a/Project.toml b/Project.toml
index d0f6945..e9cee82 100644
--- a/Project.toml
+++ b/Project.toml
@@ -1,7 +1,7 @@
 name = "SwitchOnSafety"
 uuid = "ceb7f16a-07bf-5f4a-9354-b68f01b1610f"
 repo = "https://github.com/blegat/SwitchOnSafety.jl.git"
-version = "0.2.4"
+version = "0.3.0"
 
 [deps]
 Combinatorics = "861a8166-3701-5b0c-9a16-15d98fcdc6aa"
diff --git a/test/Project.toml b/test/Project.toml
index 89a3eb6..43b0f54 100644
--- a/test/Project.toml
+++ b/test/Project.toml
@@ -1,12 +1,15 @@
 [deps]
 CSDP = "0a46da34-8e4b-519e-b418-48813639ff34"
+Combinatorics = "861a8166-3701-5b0c-9a16-15d98fcdc6aa"
 ECOS = "e2685f51-7e38-5353-a97d-a921fd2c8199"
 GLPK = "60bf3e95-4087-53dc-ae20-288a0d20c6a6"
 Graphs = "86223c79-3864-5bf0-83f7-82e725a168b6"
 HybridSystems = "2207ec0c-686c-5054-b4d2-543502888820"
 JuMP = "4076af6c-e467-56ae-b986-b466b2749572"
 LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"
+MultivariatePolynomials = "102ac46a-7ee4-5c85-9060-abc95bfdeaa3"
 Polyhedra = "67491407-f73d-577b-9b50-8179a7c68029"
+SemialgebraicSets = "8e049039-38e8-557d-ae3a-bc521ccf6204"
 StaticArrays = "90137ffa-7385-5640-81b9-e52037218182"
 SwitchOnSafety = "ceb7f16a-07bf-5f4a-9354-b68f01b1610f"
 Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"