this solver can be used as a basis to refine the output set with branch and prune strategies (https://github.com/Kolaru/BranchAndPrune.jl) _Originally posted by @mforets in https://github.com/JuliaReach/NeuralNetworkAnalysis.jl/pull/128#issuecomment-826331630_
this solver can be used as a basis to refine the output set with branch and prune strategies (https://github.com/Kolaru/BranchAndPrune.jl)
Originally posted by @mforets in #128 (comment)