From 872287acbd3d465727e2e1ee8f90ed561ae13407 Mon Sep 17 00:00:00 2001 From: schillic Date: Fri, 5 Jun 2026 13:52:25 +0200 Subject: [PATCH] allow Parameters v0.13 --- Project.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Project.toml b/Project.toml index 08dcda59..ebd85fe6 100644 --- a/Project.toml +++ b/Project.toml @@ -20,7 +20,7 @@ ControllerFormats = "0.1 - 0.2" LazySets = "5 - 6" NeuralNetworkReachability = "0.1" OrdinaryDiffEq = "6" -Parameters = "0.12" +Parameters = "0.12 - 0.13" Plots = "1" ReachabilityAnalysis = "0.29 - 0.30" ReachabilityBase = "0.3"