resultToOriginalVarsAssignment

Undocumented in source. Be warned that the author may not have intended to support it.

bool[string]

resultToOriginalVarsAssignment

(

tseytinTransformResult transformResult

,

Literal[] solverResultLiterals

)

Meta

Source

See Implementation

satd tseytin aliases

tseytinTransformResult

enums

ExprType

functions

structs

Expr

variables

answers