How to implement At most k using python or tools?

Question

I am trying to implement the atmost k sat constraint in or tools.

I have looked at the following answer for: How do you define the At-Most-K SAT constraint in OrTools