solve

Returns the greatest solution to the set of constraints in the system.

mapping from variables to the greatest values that satisfy all constraints

Throws

if there are unsatisfiable constraints