Added solver tests