Enumerates all 2^n variable assignments and checks for counterexamples.
The optional options.excludedVariableIds set removes the listed IDs from
the enumeration — typically axiomatic-bound variables that the engine
forces to true. The optional options.forcedTrueVariableIds set fixes
the listed IDs to true in every generated assignment. Callers normally
pass the same set for both.
Enumerates all 2^n variable assignments and checks for counterexamples.
The optional
options.excludedVariableIdsset removes the listed IDs from the enumeration — typically axiomatic-bound variables that the engine forces totrue. The optionaloptions.forcedTrueVariableIdsset fixes the listed IDs totruein every generated assignment. Callers normally pass the same set for both.