add test for solver installation