tseytin

Members

Aliases

tseytinTransformResult

alias tseytinTransformResult = Tuple!(parseResult, "parseResult", Literal[string], "varToLiteral")

Undocumented in source.

Enums

ExprType

enum ExprType

Undocumented in source.

Functions

isSAT

bool isSAT(string formula)

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.

Structs

Expr

struct Expr

Undocumented in source.

Variables

answers

enum bool[string] answers;

Undocumented in source.

• assignment
• cnf
• dimacs
• solvers
• tseytin