CP-SAT Recipes Some modeling recipes for CP-SAT. table-optional: A workaround for the not (yet) supported model.AddAllowedAssignments(...).OnlyEnforceIf(b).