The satisfier runs the static analyzer before enumerating witnesses.
Miniscript validity depends on script context. In tapscript, MINIMALIF is
consensus, which changes the d:X wrapper (it becomes unit), and multisig
uses multi_a (CHECKSIGADD) instead of multi (CHECKMULTISIG).
If tapscript is omitted, legacy rules are assumed.
If computeUnknowns is true, satisfactions that require unknown signatures
or preimages are enumerated and returned in unknownSats. When it is false
(default), unknown satisfactions are pruned during enumeration.
maxSolutions defaults to 1000 and limits the total number of enumerated
solutions (including dsats and intermediate combinations). Set it to null
to disable the limit. Passing 0 or a negative value throws.
Options for the satisfier.
The satisfier runs the static analyzer before enumerating witnesses. Miniscript validity depends on script context. In tapscript, MINIMALIF is consensus, which changes the
d:Xwrapper (it becomes unit), and multisig usesmulti_a(CHECKSIGADD) instead ofmulti(CHECKMULTISIG).If
tapscriptis omitted, legacy rules are assumed.If
computeUnknownsis true, satisfactions that require unknown signatures or preimages are enumerated and returned inunknownSats. When it is false (default), unknown satisfactions are pruned during enumeration.maxSolutionsdefaults to 1000 and limits the total number of enumerated solutions (including dsats and intermediate combinations). Set it tonullto disable the limit. Passing 0 or a negative value throws.