optimize method

Optimize optimize()

Create an optimization context.

Implementation

Optimize optimize() => _getOptimize(_z3.mk_optimize());