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

CDCLSolver.analyzeConflict

satd solvers cdcl CDCLSolver

矛盾を分析します。

class CDCLSolver
analyzeConflictResult
analyzeConflict
()

Return Value

Type: analyzeConflictResult

バックトラック先のレベルと学習節

Meta

Source

See Implementation

satd solvers cdcl CDCLSolver aliasesconstructorsenumsfunctionsvariables

Page generated by adrdox