fixes solver tests due to msolve v0.4.9 changes #11

Closed ederc closed 1 year ago