gamspy_minos
