Sabatier reaction plus ordinary rain will solve that problem away but nothing will solve the slow rotation rate and lack of a molten core and resulting magnetos

Sabatier reaction plus ordinary rain will solve that problem away but nothing will solve the slow rotation rate and lack of a molten core and resulting magnetosphere. Still Venus is a better candidate than Mars for terraforming.