We gratefully acknowledge support from
the Simons Foundation and member institutions.

Donald Pinckney is qualified to endorse.

Flexible and Optimal Dependency Management via Max-SMT

Donald Pinckney: Is registered as an author of this paper.
Can endorse for cs.PL, cs.SE. (why?)

Federico Cassano, Arjun Guha, Jon Bell, Massimiliano Culpo and Todd Gamblin are not registered as owners of this paper. (why?)