satd.solvers.cdcl

Members

Aliases

CDCLSolverResult

alias CDCLSolverResult = Algebraic!(Literal[], typeof(null))

Undocumented in source.

Classes

CDCLSolver

class CDCLSolver

CDCL を実装したソルバー

Structs

ImplicationGraph

struct ImplicationGraph

Undocumented in source.

Variables

LAMBDA

Literal LAMBDA;

LAMBDA は conflict node の意。

• cdcl
• dpll