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]

ProductsMachines_adv.mos

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

   file ProductsMachines_adv.mos
   ```````````````````````````````
   Improved version of model 'ProductsMachines_std.mos'.
   -- Multiple conditions on loop over block of statements --
 
   (c) 2019-2025 Fair Isaac Corporation
       author: S.Heipcke
*******************************************************!)
model "Products and Machines"

    !S:IMPORT
    uses "mmetc","mmsystem","mmxprs"

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

    writeln("#S:READ")
    declarations
        PRODS, MACH: range
        z: dynamic array(PRODS,MACH) of mpvar
        y: dynamic array(PRODS,MACH) of mpvar
        K: array(PRODS,MACH) of integer
        T: array(MACH) of integer 
        U: array(PRODS) of integer 
    end-declarations
(!
    initializations from "mmetc.diskdata:"
        T as "sparse,skiph,data/" + DATA_FILE_PREFIX + "_H_ProductsMachines_T.csv"
    end-initializations

    initializations from "mmetc.diskdata:"
        U as "sparse,skiph,data/" + DATA_FILE_PREFIX + "_H_ProductsMachines_U.csv"
    end-initializations

    initializations from "mmetc.diskdata:"
        K as "sparse,skiph,data/" + DATA_FILE_PREFIX + "_H_ProductsMachines_K.csv"
    end-initializations
   !)
   ! Same as previous lines:
    diskdata(ETC_SPARSE+ETC_SKIPH, DATA_FILE_PREFIX + "_H_ProductsMachines_T.csv", T) 
    diskdata(ETC_SPARSE+ETC_SKIPH, DATA_FILE_PREFIX + "_H_ProductsMachines_U.csv", U) 
    diskdata(ETC_SPARSE+ETC_SKIPH, DATA_FILE_PREFIX + "_H_ProductsMachines_K.csv", K) 
    writeln("#E:READ")

    writeln("#S:PROC")
    MACH3:=union(m in MACH | 3*T(m)<13) {m}
    forall(p in PRODS, m in MACH3 | K(p,m)=1) do
        create(z(p,m))
        create(y(p,m))
        y(p,m) is_binary
        z(p,m) <= U(p)
    end-do

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

    writeln("#S:TEST")
    forall(p in PRODS, m in MACH3 | K(p,m)=1) do
        writeln(p, " ", m)
    end-do
    writeln("#E:TEST")
end-model