writer
1,835
edits
Changes
Jump to navigation
Jump to search
Line 2:
Line 2: +
no edit summary
==DESCRIPTION==
==DESCRIPTION==
*Basic Linear Programming examples in z3.<br>
*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.
*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>
*Testing how we can make better solutions to the standard problems compared to other software.<br><br>