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

CDCLSolver.currentLevel

satd solvers cdcl CDCLSolver

implication graph 上の頂点の decision level の最大値

class CDCLSolver
size_t currentLevel;

Meta

Source

See Implementation

satd solvers cdcl CDCLSolver aliasesconstructorsenumsfunctionsvariables

Page generated by adrdox