Replaced git repository for solver