WIP: - Every time solve is called a solve counter is incremented. - Variable states updated gets the solve counter value. - `solve_epoch` -- This state was last solved in epoch 42