sat-d v1.0.2 (2021-11-03T07:30:18Z)
Dub
Repo
satd.solvers.cdcl
satd
solvers
Undocumented in source.
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 の意。
Meta
Source
See Source File
satd
solvers
modules
cdcl
dpll