Links for sage-numerical-interactive-mip