diff --git a/Project.toml b/Project.toml index 1e666c8a..cd7834b3 100644 --- a/Project.toml +++ b/Project.toml @@ -16,10 +16,10 @@ Requires = "ae029012-a4dd-5104-9daa-d747884805df" [compat] CommonSolve = "0.1 - 0.2" ControllerFormats = "0.1 - 0.2" -LazySets = "2.14" +LazySets = "2.14, 3" NeuralNetworkReachability = "0.1" Parameters = "0.12" -ReachabilityAnalysis = "0.14.5 - 0.26" +ReachabilityAnalysis = "0.14.5 - 0.27" ReachabilityBase = "0.2.1 - 0.3" Reexport = "0.2, 1" Requires = "0.5, 1" diff --git a/docs/Project.toml b/docs/Project.toml index 385c36af..f82b9cb5 100644 --- a/docs/Project.toml +++ b/docs/Project.toml @@ -13,5 +13,5 @@ Documenter = "1" Literate = "2" OrdinaryDiffEq = "6" Plots = "1" -ReachabilityAnalysis = "0.25 - 0.26" +ReachabilityAnalysis = "0.25 - 0.27" ReachabilityBase = "0.2.3 - 0.3"