finds instances of variables that satisfy constraints.
与 .wl 参考的差异： Other `Reduce` and `FindInstance` divergences
FindInstance[expr, vars]
FindInstance[expr, vars, dom]
FindInstance[expr, vars, dom, n]
FindInstance[x^2 == 4, x]
→ {{x -> 2}}- Method — default Automatic
- Modulus — default 0
- RandomSeeding — default 1234
- WorkingPrecision — default Infinity