maximize method

int maximize(AST a)

Implementation

int maximize(AST a) {
  return _c._z3.optimize_maximize(_optimize, _c._createAST(a));
}