Home

Welcome to the RangeEnclosures.jl wiki!

For development-related resources, see the JuliaReach Developer's Documentation.

---

Related tools

• Polyhedral relaxations: https://sujeevraja.github.io/PolyhedralRelaxations.jl/latest/
• https://github.com/latture/pallas-solver
• https://github.com/ampl/global-optimization
• https://github.com/sharma-n/global_optimization
• https://www.lix.polytechnique.fr/~liberti/teaching/globalopt-lima.pdf
• http://www.globaloptimization.org/publications/software/
• https://www.mat.univie.ac.at/~neum/glopt/software_g.html

---

API Ideas

• https://github.com/JuliaIntervals/IntervalOptimisation.jl/issues/24