Skip to content

Conversation

@nhuet
Copy link
Contributor

@nhuet nhuet commented Nov 14, 2025

  • coloring: allocation
  • facility: allocation
  • tsp: scheduling
  • binpack: allocation or scheduling, according to chosen modeling
  • knapsack: allocation

Notes:

  • nb max of unary resources is sometimes chosen in the solver (colors or binpacks) => we introduce subset_unaryresources_allowed attribute for generic cpsat allocation solver
  • in coloring problem, sometimes we use a subset of tasks (=nodes) of interest to define used variables and objective => subset_tasks_of_interest attribute for generic cpsat allocation solver

- cpsat solver inherit from AllocationBinaryOrIntegerModellingCpSatSolver
- beware:
 - nb of colors max (ie nb of unary resources) decided in solver
   => subset_unaryresources_allowed attribute for generic cpsat
   allocation solver
 - subset_nodes in problem means that not all "tasks" count in solver
   => subset_tasks_of_interest attribute for generic cpsat allocation
   solver
Here we choose one or another modeling for the solver.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant