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

ExampleS2: Civil Engineering
HoopStress
a) z3 code: Using Function

ExampleS3: Civil Engineering
InternalForce
a) z3 code: Normal Calculation without using Function
b) z3 code: Using Function
c) z3 code: USING EXAMPLE1 function SOLUTION IN EXAMPLE2 function

ExampleS4: Civil Engineering
NotchDesign
a) z3 code: Using Function

ExampleS5: Engineering Economics
RateOfEarnings
a) z3 code: Using Function

ExampleS6: Fluid Mechanics
BernoullisPressure
a) z3 code: Using Function
b) z3 code: Multi-calculation Using Function(variable diameter)