writer
1,835
edits
Changes
Jump to navigation
Jump to search
Line 1:
Line 1: − + Line 46:
Line 46: + + + + + + +
Manuals/calci/Exampleslp (view source)
Revision as of 08:28, 28 September 2018
, 08:28, 28 September 2018no edit summary
<div style="font-size:24px">'''Engineering Examples in z3'''</div>
<div style="font-size:24px">'''Linear Programming Examples in z3'''</div>
==DESCRIPTION==
==DESCRIPTION==
*Basic Linear Programming examples in z3.<br>
*Basic Linear Programming examples in z3.<br>
console.log(solver.Solve(model));</source>
console.log(solver.Solve(model));</source>
<source lang="cpp">
{ feasible: true,
result: 18750,
bounded: true,
Kansas: 7.5,
Oklahoma: 7.5 }</source>