Merge pull request #3537 from JuliaReach/schillic/RB

Support ReachabilityBase v0.3
JuliaReach · Jun 26, 2024 · 031cf6f · 031cf6f
2 parents ce77803 + 4588806
commit 031cf6f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Project.toml b/Project.toml
@@ -24,7 +24,7 @@ IntervalArithmetic = "0.15 - 0.21, =0.21.2"  # v0.22 removed IntervalBox
 JuMP = "0.21 - 0.23, 1"
 LinearAlgebra = "<0.0.1, 1.6"
 Random = "<0.0.1, 1.6"
-ReachabilityBase = "0.2.5"
+ReachabilityBase = "0.2.5 - 0.3"
 RecipesBase = "0.6 - 0.8, 1"
 Reexport = "0.2, 1"
 Requires = "0.5, 1"