Add tests for `SymEngine` code; rename and fix `free_symbols`

JuliaReach / LazySets.jl

Scalable symbolic-numeric set computations in Julia

https://juliareach.github.io/LazySets.jl/

Other

226 stars 32 forks source link

Closed schillic closed 1 month ago

schillic commented 1 month ago

The build error in the Invalidations run is unrelated (SnoopCompile v3 release).