Add comprehensive example for Optimize set_on_model callback functionality - #208
Draft
NikolajBjorner with Copilot wants to merge 2 commits into
Draft
Add comprehensive example for Optimize set_on_model callback functionality#208NikolajBjorner with Copilot wants to merge 2 commits into
NikolajBjorner with Copilot wants to merge 2 commits into