SolverStudio & CMPL

SolverStudio supports the COIN-OR CMPL language developed by Thomas Schleiff and Mike Steglich. To quote the CMPL page:

CMPL (<Coliop|Coin> Mathematical Programming Language) is a mathematical programming language and a system for mathematical programming and optimisation of linear optimisation problems.

The CMPL syntax is similar in formulation to the original mathematical model but also includes syntactic elements from modern programming languages. CMPL is intended to combine the clarity of mathematical models with the flexibility of programming languages.

CMPL executes CBC (default), GLPK, SCIP, Gurobi and CPLEX directly to solve the generated model instance. Because it is also possible to transform the mathematical problem into MPS, Free-MPS or OSiL files, alternative solvers can be used.

CMPL is an open source project licensed under GPLv3. It is written in C++ and is available for most of the relevant operating systems (Windows, OS X, Linux and Raspbian).

The CMPL distribution contains Coliop which is an (simple) IDE (Integrated Development Environment) for CMPL. Coliop is an open source project licensed under GPLv3. It is written in Java and is an integral part of the CMPL distribution.

The CMPL package also contains pyCMPL, jCMPL and CMPLServer.

pyCMPL is the CMPL application programming interface (API) for Python and an interactive shell and jCMPL is CMPL’s Java API. The main idea of this APIs is to define sets and parameters within the user application, to start and control the solving process and to read the solution(s) into the application if the problem is feasible. All variables, objective functions and constraints are defined in CMPL. These functionalities can be used with a local CMPL installation or a CMPLServer.

CMPLServer is an XML-RPC-based web service for distributed and grid optimisation that can be used with CMPL, pyCMPL and jCMPL. It is reasonable to solve large models remotely on the CMPLServer that is installed on a high performance system. CMPL provides four XML-based file formats for the communication between a CMPLServer and its clients. (CmplInstance, CmplSolutions, CmplMessages, CmplInfo).

pyCMPL, jCMPL and CMPLServer are licensed under LGPLv3.

CMPL, Coliop, pyCMPL, jCMPL and CMPLServer are COIN-OR projects initiated by the Technical University of Applied Sciences Wildau and the Institute for Operations Research and Business Management at the Martin Luther University Halle-Wittenberg.

2 thoughts on “SolverStudio & CMPL

  1. Dear Jason,

    unfortunately, you cannot use division directly in an objective function or constraint. Please see pages 33-34 in the manual.

    An indirect way for parameters (e.g. a) is to assign a new parameter with the the reciprocal (eg. b:=1/a) within the parameters section. The new parameter can be multiplied in the objective function or a constraint.

    If you want do divide a variable then it is a little bit more complicated. If you give me an impression for what exactly you want to use a division in this way I could give you some hints.

    Thanks,

    Mike

  2. How can I use division in either the objectives or constraints? It must be possible somehow If I open up the CMPL Transportation example and simply change * to / in the objectives formula I get “syntax error, unexpected ‘/’, expecting ‘}'”. I’ve looked for examples, support groups for the answer but I can’t find anything. I’ve also tried putting the word div in place and same behaviour.

Leave a Reply

Your email address will not be published. Required fields are marked *