Have variables register themselves with a solver.