Added spec for Solver class