Hi Gaurav,
As of now the solveset doesn't supports assumptions on symbols,
and moreover it's still in sandbox mode. Solveset will eventually
replace solve by the time it fixes all the mess around old solve.
Also, It is very important that the solveset to be tied with the `new`
assumption system, which is still in development. Hopefully, soon
we will have both of these tied together.
AMiT Kumar
3rd Year Undergrad
Delhi Technological University