added solver as dependency