/* * Distupgrade * * call-seq: * solver.distupgrade -> bool * */ int distupgrade()