Timing update.
Enabling counting solutions with tau-heuristic.

New solver-version "cttawSolver".