Skip to content

Library to easily generate fixed MPS files for LP solvers

License

Notifications You must be signed in to change notification settings

irzinfante/fixed-mps

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

60 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Usage of the library

Let's put it simple. Having the following linear programming (LP) problem,

our goal is to generate, in the most simple and intuitive way, a fixed-format MPS file representing the problem.

We import the fixed-mps library from Maven with

<dependency>
    <groupId>dev.irzinfante</groupId>
    <artifactId>fixed-mps</artifactId>
    <version>2.0.2</version>
</dependency>

Now, the instruction for building the LP problem is the following:

import dev.irzinfante.fixedmps.core.Problem;
import dev.irzinfante.fixedmps.core.Problem.ProblemBuilder;
import dev.irzinfante.fixedmps.core.Variable.VarBuilder;
import dev.irzinfante.fixedmps.core.Constraint.ConstraintBuilder;

Problem lp = new ProblemBuilder(

	new VarBuilder(-1).lowerBound(0).upperBound(Double.MAX_VALUE).integer().build(),
	new VarBuilder(-1).lowerBound(0).upperBound(Double.MAX_VALUE).integer().build()

)
.addConstraint(new ConstraintBuilder(-2,  2).greaterThan(1))
.addConstraint(new ConstraintBuilder(-8, 10).lessThan(13))
.build();

As we can see, the coefficient for each variable in the objective function is given at the time of declaring the variable. We tell also at this point if the variable is integer or binary (or we just build the variable to tell that it is a real).

Then we add the constraints for the problem row by row, giving the coeffient for each variable in order, an telling the type of the constraint (, or ) and the value of the free term.

Now, to get the MPS file (as a String) from the problem we do this:

import dev.irzinfante.fixedmps.util.MPSUtil;

MPSUtil.obtainMPSfile(lp)

The result in this case would be:

NAME          FIXEDMPS
ROWS
 N  OBJ
 G  C0000001
 L  C0000002
COLUMNS
    INT1      'MARKER'                 'INTORG'
    X0000001  C0000002  -8.00000e+00   C0000001  -2.00000e+00
    X0000001  OBJ       -1.00000e+00
    X0000002  C0000002  +1.00000e+01   C0000001  +2.00000e+00
    X0000002  OBJ       -1.00000e+00
    INT1END   'MARKER'                 'INTEND'
RHS
    RHS1      C0000001  +1.00000e+00
    RHS1      C0000002  +1.30000e+01
BOUNDS
 UP BND1      X0000001  +1.00000e+10
 UP BND1      X0000002  +1.00000e+10
ENDATA

License

Copyright (C) 2020-2024 Iker Ruiz de Infante Gonzalez iker@irzinfante.dev

This program is free software: you can redistribute it and/or modify it under the terms of the GNU Affero General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.

This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Affero General Public License for more details.

You should have received a copy of the GNU Affero General Public License along with this program. If not, see https://www.gnu.org/licenses/.

LICENSE contains a copy of the full AGPLv3 licensing conditions.