Difference between revisions of "Examples"
Jump to navigation
Jump to search
(Created page with "<div style="font-size:24px">'''Engineering Examples of Java and z3 Programs'''</div><br/> ==DESCRIPTION== *Basic Engineering examples in z3.<br> *z3 codes with z3 notations ar...") |
|||
| Line 2: | Line 2: | ||
==DESCRIPTION== | ==DESCRIPTION== | ||
*Basic Engineering examples in z3.<br> | *Basic Engineering examples in z3.<br> | ||
| − | *z3 codes with z3 notations are shown below. | + | *z3 codes with z3 notations are shown below.<br> |
*Set of cases progressively complex on units to show the user how it goes from simple to complex cases.<br> | *Set of cases progressively complex on units to show the user how it goes from simple to complex cases.<br> | ||
*Reflecting different domains like engineering, statistics, medicine, etc. | *Reflecting different domains like engineering, statistics, medicine, etc. | ||
Revision as of 04:43, 29 January 2018
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.