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

CDCLSolver.addEdge

satd solvers cdcl CDCLSolver
Undocumented in source. Be warned that the author may not have intended to support it.
class CDCLSolver
void
addEdge
(
Literal from
,
Literal to
,
Clause.ID clauseID
)

Meta

Source

See Implementation

satd solvers cdcl CDCLSolver aliasesconstructorsenumsfunctionsvariables

Page generated by adrdox