Solver constructor

Solver()