Links for pyomo-cpsat