Computational Study Support for Problem-Solving Environments ∗