sage-numerical-interactive-mip
