mip-tool (pypi): `mip-tool` is a package for Python-MIP.
Keywords: mip|optimization|python-mip