Merge pull request #522 from JuliaReach/mforets/common_solve

use common solve
JuliaReach · Jun 21, 2021 · bb98ff2 · bb98ff2
2 parents 1e431db + b57f274
commit bb98ff2
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/Project.toml b/Project.toml
@@ -4,6 +4,7 @@ authors = ["mforets <mforets@gmail.com>", "schillic <christian.schilling@ist.ac.
 version = "0.14.16"
 
 [deps]
+CommonSolve = "38540f10-b2f7-11e9-35d8-d573e4eb0ff2"
 ExprTools = "e2ba6199-217a-4e67-a87a-7c52f15ade04"
 HybridSystems = "2207ec0c-686c-5054-b4d2-543502888820"
 IntervalArithmetic = "d1acc4aa-44c8-5952-acd4-ba5d80a2a253"
@@ -27,6 +28,7 @@ UnPack = "3a884ed6-31ef-47d7-9d2a-63182c4928ed"
 
 [compat]
 CDDLib = "0.5, 0.6"
+CommonSolve = "0.2"
 DifferentialEquations = "6.16"
 Expokit = "0.2"
 ExponentialUtilities = "1.6, 1.7, 1.8"

diff --git a/src/Initialization/init.jl b/src/Initialization/init.jl
@@ -56,6 +56,8 @@ import LazySets: dim, overapproximate, box_approximation, project, Projection,
 import Base: ∈, convert
 import LinearAlgebra: normalize
 
+import CommonSolve: solve # common solve name
+
 # ======================
 # Useful constants
 # ======================