Module common 

Structs

ActivityTable

VSIDS 的变量活跃度表。

Clause

子句（文字析取）结构。

Phases

决策相位（phase）状态表。

Variable

求解器内部变量状态（不是 DIMACS 中变量定义本身）。

Watches

双观察文字（2WL）中的 watcher 条目。

Type Aliases

Literal

文字类型：正数表示正文字，负数表示反文字。