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

CDCLSolver.history

satd solvers cdcl CDCLSolver

ソルバーの状態が各 decision level に対応して保持されている配列

class CDCLSolver
CDCLSolver[] history;

Meta

Source

See Implementation

satd solvers cdcl CDCLSolver aliasesconstructorsenumsfunctionsvariables

Page generated by adrdox