easy_sat_rs/constants.rs
1/// 求解器常量定义。
2///
3/// `SATResult` 数值遵循 SAT Competition 习惯：
4/// - `SAT = 10`
5/// - `UNSAT = 20`
6/// - `UNKNOWN = 0`
7#[derive(Eq, PartialEq, Clone, Copy, Debug)]
8pub enum SATResult {
9 SAT = 10,
10 UNSAT = 20,
11 UNKNOWN = 0,
12}
13
14/// VSIDS/EVSIDS 默认参数。
15pub const DEFAULT_VAR_INC: f64 = 1.0;
16pub const DEFAULT_VAR_DECAY: f64 = 0.8;
17pub const DEFAULT_VAR_DECAY_INC: f64 = 0.01;
18pub const MAX_VAR_DECAY: f64 = 0.95;
19
20/// 决策初始相位默认值。
21pub const INIT_PHASE: bool = false;