Module constants 

Enums

SATResult

求解器常量定义。

Constants

DEFAULT_VAR_DECAY

DEFAULT_VAR_DECAY_INC

DEFAULT_VAR_INC

VSIDS/EVSIDS 默认参数。

INIT_PHASE

决策初始相位默认值。

MAX_VAR_DECAY