1. A computer-implemented method for resource management, comprising: storing in a memory a set of resource consumers, resources for allocation to the resource consumers, and initial binary constraints applying to the allocation of the resources; associating respective variables with the resource consumers, and identifying the resources as values applicable to the variables; applying a non-binary scoring criterion to generate scores on a graded scale for proposed assignments of one or more of the resources to respective ones of the resource consumers; defining one or more additional binary constraints based on the graded scale of the scores; automatically finding an assignment of the values to the variables that satisfies the initial and additional binary constraints using a constraint satisfaction problem (CSP) solver running on a processor coupled to the memory; and assigning the resources to the resource consumers responsively to the assignment of the values to the variables.