A general framework for computing maximal contractions