Changed solver lib dependency to 0.5