minimize method

int minimize(AST a)

Implementation

int minimize(AST a) {
  return _c._z3.optimize_minimize(_optimize, _c._createAST(a));
}