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.