Closed mforets closed 2 years ago
Once we've developed https://github.com/JuliaReach/BernsteinExpansions.jl we can add the enclosure method, closing for now.