sat-d ~master (2021-08-24T14:19:06Z)

CDCLSolver.addNode

satd solvers cdcl CDCLSolver
Undocumented in source. Be warned that the author may not have intended to support it.
class CDCLSolver
void
addNode
(
Literal lit
,
size_t dlevel
)

Meta

Source

See Implementation

satd solvers cdcl CDCLSolver aliasesconstructorsenumsfunctionsvariables

Page generated by adrdox