menu
z3 package
documentation
z3.dart
orN function
orN function
dark_mode
light_mode
orN
function
NaryOp
orN
(
Iterable
<
Expr
>
args
)
Implementation
NaryOp orN(Iterable<Expr> args) => NaryOp(NaryOpKind.or, args.toList()).declare();
z3 package
documentation
z3
orN function
z3 library