Softanza
StartFrançais
Softanza
StartFrançais
Reference · stzOptimModel

Solve()

Same as SolveWith: 4. SOLVING ------------------------------------------------------ :auto picks the tier; :floor forces the Zig simplex+B&B; :highs is the upgrade tier and is REFUSED while it is not vendored, because answering with the floor would make the two-tier claim untrue.

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
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
no
does what the method does, then returns the object, so the call can be chained
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