search

JuliaReach / LazySets.jl

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

`SymEngine` code to create `HalfSpace`/`Hyperplane` #3532

Closed schillic closed 3 months ago

schillic commented 3 months ago

This is outsourced from SpaceExParser, where part of the code is considered type piracy, and none of it is specific to the package.