Add comprehensive example for Optimize set_on_model callback functionality#208

Copilot wants to merge 2 commits intomainmicrosoft/z3guide:mainfrom

copilot/fix-207microsoft/z3guide:copilot/fix-207Copy head branch name to clipboard