Chapter 9  Working with real numbers and variables

• Real number basics
• Issues to be aware of when using bounded reals
• IC as a solver for real variables
• Finding solutions of real constraints
• A larger example
• Exercise