Dependency for MathematicalPredicates #15
Description
This package could be useful as an abstract interface to https://github.com/JuliaReach/MathematicalPredicates.jl -- it is now empty, see initial discussion here, and the relevant module here.
In this issue we can list the methods that are needed in MathematicalSets.jl.