Optimization from the API

Z3's programmatic API exposes all available optimization features.

• Follow this link for a tutorial on using optimization features from F#.
• The Python API is also convenient for prototyping. The Optimize Python object is used when solving constraints with optimization objectives.