FICO Xpress Optimization Examples Repository: Mosel files for the Mosel-Python comparison blog

FICO Xpress Optimization Examples Repository

FICO Optimization Community

FICO Xpress Optimization Home

Mosel files for the Mosel-Python comparison blog

Description

Mosel files for the blog post comparing Mosel and Python.

Instructions for running these files:

Extract the data files into the same directory as the Mosel files
To run a single file via the command line, call Mosel and pass the filename followed by "DATA_FILE_PREFIX=" and the first 2 digits of the data file. For example: mosel SparseGrouping_std.mos DATA_FILE_PREFIX=00

Further explanation of this example: See the blog 4 Main Takeaways from Comparing Xpress Mosel and Python for Optimization Models

moselblog.zip

[download all files]

Source Files

By clicking on a file name, a preview is opened at the bottom of this page.

ComplexConstraints_std.mos	[download]
ComplexConstraints_adv.mos	[download]
MatrixVariables_std.mos	[download]
MatrixVariables_adv.mos	[download]
ProductsMachines_std.mos	[download]
ProductsMachines_adv.mos	[download]
QuantityDiscount_std.mos	[download]
QuantityDiscount_adv.mos	[download]
SparseGrouping_std.mos	[download]
SparseGrouping_adv.mos	[download]
SparseVariables_std.mos	[download]
SparseVariables_adv.mos	[download]
TSP_std.mos	[download]
TSP_adv.mos	[download]

Data Files

00_H_MatrixVariables_V.csv	[download]
00_H_ProductsMachines_T.csv	[download]
00_H_TSP_cities.csv	[download]
00_H_ComplexConstraints_D.csv	[download]
00_H_ProductsMachines_K.csv	[download]
00_H_QuantityDiscount_V.csv	[download]
00_H_SparseVariables_C.csv	[download]
00_H_MatrixVariables_S.csv	[download]
00_H_SparseGrouping_C.csv	[download]
00_H_ProductsMachines_U.csv	[download]
00_H_TSP_tours.csv	[download]
ComplexConstraints.tar.gz	[download]
MatrixVariables.tar.gz	[download]
ProductsMachines.tar.gz	[download]
QuantityDiscount.tar.gz	[download]
SparseGrouping.tar.gz	[download]
SparseVariables.tar.gz	[download]
TSP.tar.gz	[download]
03_H_ProductsMachines_K.tar.gz	[download]
04_H_QuantityDiscount_V.tar.gz	[download]

ComplexConstraints_adv.mos

(!******************************************************
   Mosel Example Problems
   ======================

   file ComplexConstraints_adv.mos
   ```````````````````````````````
   Improved version of model 'ComplexConstraints_std.mos'.
   -- Defining constraints with multiple conditions --

   (c) 2019-2025 Fair Isaac Corporation
       author: S.Heipcke
*******************************************************!)
model "Complex Constraints"
    !S:IMPORT
    uses "mmetc","mmsystem","mmxprs"

    parameters
        DATA_FILE_PREFIX = "00"
    end-parameters
    writeln("#E:IMPORT")

    writeln("#S:READ")
    declarations
        RN: range
        D: array(RN, RN) of real
        Dmax: array(RN) of real
        F,G: real
        q: array(RN, RN) of mpvar
    end-declarations

    initializations from "mmetc.diskdata:"
        D as "sparse,skiph," + DATA_FILE_PREFIX + "_H_ComplexConstraints_D.csv"
    end-initializations
    writeln("#E:READ")

    writeln("#S:PROC")
    F:=0.8
    G:= 0.7

    forall(m in RN) Dmax(m):= max(p in RN) D(m,p)

    declarations
        B: array(RN, RN) of boolean
    end-declarations
    ! Precalculate a repeated test condition
    forall(i in RN, k in RN)
        B(i,k):= (2 * D(i,k)<=G and D(i,k) + F * Dmax(k) <=G)

    forall(i in RN, k in RN, j in RN, m in RN |
        B(i,k) and B(j,m) and
        (i<j and k<>j and i<>m and D(i,k) + F*D(k,m) + D(m,j) > G) )
            q(i,k) + q(j,m) <= 1

    loadprob(0)
    writeln("#E:PROC")

    writeln("#S:TEST")
    forall (i in RN, k in RN, j in RN, m in RN |
        B(i,k) and B(j,m) and
        (i<j and k<>j and i<>m and D(i,k) + F*D(k,m) + D(m,j) > G) )
            writeln(i, " ", k, " ", j, " ", m)
    writeln("#E:TEST")
end-model