optimize method

Optimize optimize()

Implementation

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