Examples

Engineering Examples in z3

DESCRIPTION

• Basic Engineering examples in z3.
  
• z3 codes with z3 notations are shown below.
  
• Reflecting different domains like Engineering, Statistics, Medicine, etc.
• Set of cases that are progressively complex on units are used to show the user how it goes from simple to complex cases.
  
• Testing how we can make better solutions to the standard problems compared to other software, due to the presence of units.
  
  

Links of Examples

ExampleS1: Chemical Engineering
LengthParallelContraFlow a) z3 code: Normal Calculation without using Function
b) z3 code: Using Function
c) z3 code: Multi-calculation Using Function(variable diameter)
d) z3 code: USING EXAMPLE1 function SOLUTION IN EXAMPLE2 function

Links of Examples

ExampleS1: Civil Engineering
HoopStress
b) z3 code: Using Function