OR-Tools’ CP-SAT backend snippet

[IsmailBData]

Hi @LucasBoTang

You kept the same snippet in both small knapsack-style examples.
Could you please provide the equivalent version using OR-Tools’ CP-SAT backend?

#61 (comment)