Changes

Manuals/calci/Exampleslp (view source)

148 bytes added , 08:10, 1 October 2018

no edit summary

Line 2: Line 2:

==DESCRIPTION==

*Basic Linear Programming examples in z3.<br>

+

*Instead of using arrays to solve these problems, we could create a model in a JavaScript object, and solve it through the object's solve function.

*Reflecting different domains like Engineering, Statistics, Medicine, etc.

*Testing how we can make better solutions to the standard problems compared to other software.<br><br>

writer

1,835

edits