Added Set constructor
Firs (non-concurrent) version of the solver.
Just to check that everything is correct.