Softanza
StartFrançais
Softanza
StartFrançais
Reference · stzOptimModel

Vars()

[ :x = [0, 40], :y = [0, :integer] ] -- a spec is [lb], [lb, ub], [lb, :integer] or [lb, ub, :integer]. An omitted upper bound means UNBOUNDED ABOVE, which the engine models exactly rather than by a large number standing in for infinity.

Basic examples (2)

Softanza
oF = new stzOptimModel()
oF.Vars([ :x = [ 0, 10 ] ])
oF.Maximize("x")
oF.SubjectTo([ "x >= 20" ])
oF.Solve()
? oF.StatusWord()
Output
infeasible

run on 2026-10-02 04:25 inside the library at commit 0e72e2e2c; taken from 12-an-optimisation-model.en.md(opens in a new tab)

Softanza
oM = new stzOptimModel()
oM.Vars([ :x = [ 0, 40 ], :y = [ 0, :integer ] ])
oM.Maximize("3*x + 2*y")
oM.SubjectTo([ "x + y <= 50", "2*x + y <= 80" ])
oM.SolveWith(:auto)
? oM.StatusWord()
? oM.Objective()
? @@( oM.Solution() )
Output
optimal
130
[ [ "x", 30 ], [ "y", 20 ] ]

run on 2026-10-02 04:25 inside the library at commit 0e72e2e2c; taken from 12-an-optimisation-model.en.md(opens in a new tab)

Scope (1)

Softanza
oN = new stzOptimModel()
oN.Vars([ :chairs = [ 0, :integer ], :tables = [ 0, :integer ] ])
oN.Maximize("30*chairs + 45*tables")
oN.SubjectTo([ "2*chairs + 5*tables <= 250", "chairs <= 60", "tables <= 60" ])
oN.Solve()
? @@( oN.Solution() )
? oN.Objective()
? oN.Branched()
Output
[ [ "chairs", 60 ], [ "tables", 26 ] ]
2970
1

run on 2026-10-02 04:25 inside the library at commit 0e72e2e2c; taken from 12-an-optimisation-model.en.md(opens in a new tab)

The extensions of this method

Each extension, and whether it exists for this method; an extension that exists combines with the others (FindSTCS).

Extension
Exists
What it adds · The names
Q
yes
does what the method does, then returns the object, so the call can be chained · VarsQ
QQ
no
chains on the next, more specific type of object (the Q ladder)
QQQ
no
chains on the most specific type of object (the Q ladder)
QRT
no
returns the result as an object of the requested type
CS
no
takes a case-sensitivity flag
ST
no
takes the position to start from (StartingAt)
IB
no
takes bounds that are included (IncludingBounds)
XT
no
the extended form: more parameters than the base method
XTT
no
yet another extension: a further extended form, after XT
Z
no
includes the position in what it returns
ZZ
no
returns positions as sections, [start, end]
W
no
selects by a condition
WF
no
selects by a condition, with the expressive keywords (@NextItem, @PreviousItem...)
D
no
takes a direction, forward or backward (Directional)
F
no
takes a function (the condition or the update is given as a function); the forms document also uses F for the future form, which defers the action
Many
no
works on a collection of items instead of one (the plural form)
Except
no
takes exceptions, what to leave out (the exceptional form)
U
no
returns the result without duplication

Every example is a test file of the library, run inside the library for this page; only those whose output kept every promise their file wrote are shown.

See also