JuliaReach / SpaceExParser.jl

Parser for the SpaceEx modeling language in Julia
https://juliareach.github.io/SpaceExParser.jl/
MIT License
7 stars 1 forks source link

Allow SymEngine v0.12 #107

Closed schillic closed 4 months ago

schillic commented 4 months ago

Closes #105. Closes #106.