python - 如何告诉 CP-SAT 设置具有某些偏好的决策变量？

Question

我对布尔决策变量有疑问。

Customer1Accept (True/False)    
Customer2Accept (True/False)  
...

每个客户都有一个分数：

Customer1score=100  
Customer2score=50  
...  

每个客户都可以标记为good或bad：

Customer1Bad=false  
Customer2Bad=true  
...

每个客户要钱：

Customer1money=10.000$  
Customer2money=30.000$  
...  

目标是客户资金的最大总和。
约束是标记为的接受客户数量bad应低于 3.8%

我的问题是如何告诉求解器选择bad要接受的客户，按分数对其进行排序，直到满足 3.8% 的约束？换句话说，我想抓住最好的客户。