stzOptimModel

(sans commentaire dans la source : le nom se lit comme une phrase) initaucune extension

[ :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. 3 exemples exécutés

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

test de la bibliothèqueQCSXTZZZIBWU

(sans commentaire dans la source : le nom se lit comme une phrase) add varaucune extension

(sans commentaire dans la source : le nom se lit comme une phrase) has varaucune extension

(sans commentaire dans la source : le nom se lit comme une phrase) number of varsaucune extension

(sans commentaire dans la source : le nom se lit comme une phrase) var namesaucune extension

(sans commentaire dans la source : le nom se lit comme une phrase) bounds ofaucune extension

2. THE OBJECTIVE 3 exemples exécutés

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

test de la bibliothèqueQCSXTZZZIBWU

(sans commentaire dans la source : le nom se lit comme une phrase) minimizeQCSXTZZZIBWU

(sans commentaire dans la source : le nom se lit comme une phrase) senseaucune extension

(sans commentaire dans la source : le nom se lit comme une phrase) objective coefficientsaucune extension

3. THE CONSTRAINTS 3 exemples exécutés

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

test de la bibliothèqueQCSXTZZZIBWU

(sans commentaire dans la source : le nom se lit comme une phrase) add constraintaucune extension

(sans commentaire dans la source : le nom se lit comme une phrase) add named constraintaucune extension

(sans commentaire dans la source : le nom se lit comme une phrase) number of constraintsaucune extension

(sans commentaire dans la source : le nom se lit comme une phrase) constraint ataucune extension

The comparable form. Two surfaces agree when THIS is equal -- never when their answers are, because two different wrong models can produce the same number and one guard would pass both.aucune extension

the same, with the constraint NAMES dropped -- for comparing two surfaces that agree on the mathematics and label it differentlyaucune extension

THE AST AS ONE CANONICAL STRING, and it exists because Haro's `=` does not compare two nested lists structurally -- two ASTs whose every field printed identically still answered "not equal", so a guard written the obvious way would have failed while the surfaces agreed. A signature compares exactly, and when it differs it can be PRINTED side by side, which a list comparison never could.aucune extension

the model as it reads, for a human and for a narrationaucune extension

(sans commentaire dans la source : le nom se lit comme une phrase) showaucune extension

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. 1 exemples exécutésQCSXTZZZIBWU

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. 2 exemples exécutés

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

test de la bibliothèqueaucune extension

5. READING THE ANSWERaucune extension

(sans commentaire dans la source : le nom se lit comme une phrase) statusaucune extension

(sans commentaire dans la source : le nom se lit comme une phrase) status word 2 exemples exécutés

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

test de la bibliothèqueaucune extension

(sans commentaire dans la source : le nom se lit comme une phrase) is optimalaucune extension

(sans commentaire dans la source : le nom se lit comme une phrase) objective 2 exemples exécutésaucune extension

(sans commentaire dans la source : le nom se lit comme une phrase) solution 2 exemples exécutésaucune extension

(sans commentaire dans la source : le nom se lit comme une phrase) value ofaucune extension

(sans commentaire dans la source : le nom se lit comme une phrase) nodesaucune extension

(sans commentaire dans la source : le nom se lit comme une phrase) iterationsaucune extension

(sans commentaire dans la source : le nom se lit comme une phrase) branched 1 exemples exécutésaucune extension

(sans commentaire dans la source : le nom se lit comme une phrase) engineaucune extension

LAW 3: the verdict explains itself, and NAMES THE TIER THAT RANaucune extension

(sans commentaire dans la source : le nom se lit comme une phrase) show whyaucune extension

Does the reported point actually satisfy the model? A solver that returns a confident wrong answer is the failure this catches, and it costs one pass over the rows.aucune extension

(sans commentaire dans la source : le nom se lit comme une phrase) is feasible answeraucune extension