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

CDCLSolver.originalClauses

satd solvers cdcl CDCLSolver

CNF の単純化が適用されていない形の節

class CDCLSolver
Clause[Clause.ID] originalClauses;

Meta

Source

See Implementation

satd solvers cdcl CDCLSolver aliasesconstructorsenumsfunctionsvariables

Page generated by adrdox