Crate easy_sat_rs 

Modules

api

common

constants

kernel

passes

search

utils

Structs

SAT

SOLVING

Solver

主求解器对象。

SolverBuilder

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

UNKNOWN

UNSAT

Enums

DimacsError

解析 DIMACS 文件时可能出现的错误。

SolveResult

求解结果（按最终状态分型返回）。

SolverStatus

求解器外部可见的状态枚举。

Traits

SolverState

Type-State 标记 trait。

Functions

parse_dimacs_kernel 🔒

解析 DIMACS CNF 文本并构造 Kernel。