menu
z3 package
documentation
z3.dart
root function
root function
dark_mode
light_mode
root
function
Expr
root
(
Expr
x
,
Expr
n
)
Implementation
Expr root(Expr x, Expr n) => pow(x, div(intFrom(1), n));
z3 package
documentation
z3
root function
z3 library