search

JuliaReach / LazySets.jl

Scalable symbolic-numeric set computations in Julia
https://juliareach.github.io/LazySets.jl/
Other
226 stars 32 forks source link

Allow SymEngine v0.12 #3541

Closed schillic closed 1 week ago

schillic commented 1 week ago

Closes #3540.

While the latest version of SymEngine cannot be used here due to restrictions with Symbolics/SymbolicUtils (I just reported that), the tests passed in SpaceExParser with the latest version.