How do you define the At-Most-K SAT constraint in OrTools

Question

The at-most-k constraint, given a number of tasks and users, where a given number of tasks must be completed by at most k number of users, each task is only assigned to one