Struct SolverBuilder 

pub struct SolverBuilder<S>
where
    S: Search,
{
    pub(crate) search: S,
    pub(crate) kernel: Kernel,
}

Solver 构建器：负责准备搜索器与内核初始状态。

Fields

search: S

kernel: Kernel

Implementations

impl<S> SolverBuilder<S>

where S: Search,

pub fn with_max_vars(search: S, max_vars: usize) -> Self

用变量上限创建空公式求解器构建器。

pub fn from_dimacs_str(search: S, dimacs: &str) -> Result<Self, DimacsError>

从 DIMACS 字符串创建构建器。

pub fn from_dimacs_file( search: S, path: impl AsRef<Path>, ) -> Result<Self, DimacsError>

从 DIMACS 文件创建构建器。

pub fn kernel(&self) -> &Kernel

只读访问内核（用于调试或查询）。

pub fn kernel_mut(&mut self) -> &mut Kernel

可变访问内核（用于自定义注入子句/参数）。

pub fn build(self) -> Solver<S, UNKNOWN>

构建求解器，初始状态为 UNKNOWN。