Type Alias SatisfierResult

An object containing the satisfier results.

• nonMalleableSats: An array of Solution objects representing the non-malleable sat() expressions.
• malleableSats: An array of Solution objects representing the malleable sat() expressions.
• unknownSats: An array of Solution objects representing the sat() expressions that contain some of the unknown pieces of information. This property is only present when computeUnknowns is enabled.