tactic_par_or method

Z3_tactic tactic_par_or(
  1. Z3_context c,
  2. int num,
  3. Pointer<Z3_tactic> ts
)

\brief Return a tactic that applies the given tactics in parallel.

def_API('Z3_tactic_par_or', TACTIC, (_in(CONTEXT), _in(UINT), _in_array(1, TACTIC)))

Implementation

Z3_tactic tactic_par_or(
  Z3_context c,
  int num,
  ffi.Pointer<Z3_tactic> ts,
) {
  return _tactic_par_or(
    c,
    num,
    ts,
  );
}