- isSAT
bool isSAT(string formula)
Undocumented in source. Be warned that the author may not have intended to support it.
- resultToOriginalVarsAssignment
bool[string] resultToOriginalVarsAssignment(tseytinTransformResult transformResult, Literal[] solverResultLiterals)
Undocumented in source. Be warned that the author may not have intended to support it.
- toExprType
ExprType toExprType(string name)
Undocumented in source. Be warned that the author may not have intended to support it.
- tseytinTransform
tseytinTransformResult tseytinTransform(string input)
Undocumented in source. Be warned that the author may not have intended to support it.