search

JuliaReach / LazySets.jl

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

Bring back IntervalConstraintProgramming in tests #3482

Closed schillic closed 3 months ago

schillic commented 3 months ago

This is outsourced from #3457 (see #2942).

The typo reports are not related.