I have written pyomo-cpsat, a Pyomo interface to CP-SAT, which can be found here:

https://github.com/nelsonuhan/pyomo-cpsat

pyomo-cpsat is limited to solving pure integer linear programs with CP-SAT (i.e., linear objective function, linear constraints, bounded integer variables). pyomo-cpsat does not implement other CP-SAT constraint types.