backup
Backup: Solver.ResultEnumerator class added (not tested)