Added solver with lib 0.5 to repo