Examples

Engineering Examples of Java and z3 Programs

DESCRIPTION

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

Examples

ExampleS1: Check if number is Odd/Even

• Program to check if the number is Odd/Even.
• z3 notations for if-else loop is used.