Flexible and Optimal Dependency Management via Max-SMT

Donald Pinckney, Federico Cassano, Arjun Guha +3

Package managers such as NPM have become essential for software development. The NPM repository hosts over 2 million packages and serves over 43 billion downloads every week. Unfor…