solve

Find the least trust solution to the set of constraints in the system.

mapping from variables to minimal trust labels that satisfy all constraints

Throws

if there are unsatisfiable constraints