CPLEX mixed integer linear programming backend for SageMath - can be installed on top of distributions providing SageMath. See also https://github.com/sagemath/sage-numerical-backends-coin and https://github.com/sagemath/sage-numerical-backends-gurobi - View it on GitHub