Solver.doneCounter

The number of nodes resolved in this iteration.

class Solver
size_t doneCounter;

Meta