Searched refs:propagations (Results 1 - 2 of 2) sorted by relevance

/pkg/src/modules/solver/
H A Dsolver.h87 uint64 starts, decisions, propagations, inspects, conflicts; member in struct:stats_t
134 int simpdb_props; // Number of propagations before next 'simplifyDB()'.
H A Dsolver.c701 s->stats.propagations++;
939 s->stats.propagations = 0;

Completed in 24 milliseconds