writer
1,835
edits
Changes
no edit summary
*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.
*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, 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>