Interface: SatSolverStatsDto
@kortexya/reasoninglayer / SatSolverStatsDto
Interface: SatSolverStatsDto
Section titled “Interface: SatSolverStatsDto”Defined in: src/types/sat.ts:43
CDCL solver statistics reported for every SAT solve, whatever the verdict.
Remarks
Section titled “Remarks”Counters are cumulative for the single (stateless) solver instance that served the request.
Example
Section titled “Example”const stats: SatSolverStatsDto = { conflicts: 12, decisions: 30, deletedClauses: 0, learnedClauses: 12, propagations: 145, restarts: 1,};Properties
Section titled “Properties”conflicts
Section titled “conflicts”conflicts:
number
Defined in: src/types/sat.ts:45
Number of conflicts encountered and analysed.
decisions
Section titled “decisions”decisions:
number
Defined in: src/types/sat.ts:47
Number of branching decisions made.
deletedClauses
Section titled “deletedClauses”deletedClauses:
number
Defined in: src/types/sat.ts:49
Number of learned clauses deleted during database reduction.
learnedClauses
Section titled “learnedClauses”learnedClauses:
number
Defined in: src/types/sat.ts:51
Number of learned clauses generated.
propagations
Section titled “propagations”propagations:
number
Defined in: src/types/sat.ts:53
Number of unit propagations performed.
restarts
Section titled “restarts”restarts:
number
Defined in: src/types/sat.ts:55
Number of restarts executed.