Text this: Flexible and Optimal Dependency Management via Max-SMT.