Enum CnfEncodingStyle

Namespace

LogicalOptimizer

Assembly

LogicalOptimizer.Sat.dll

Gate-encoding style for LogicalOptimizer.TseitinConverter.

public enum CnfEncodingStyle

Fields

PlaistedGreenbaum = 1

Plaisted–Greenbaum polarity encoding: only the implication direction each gate's occurrence polarity requires. Equisatisfiable, and models still project onto the inputs correctly; gate variables merely lose their "definition" reading.

Tseitin = 0

Full biconditional per gate: model-complete, safe for any downstream use.