@misc{indiciae9afdfe6e4612,
  title = {Flexible and Optimal Dependency Management via Max-SMT},
  author = {Donald Pinckney and Federico Cassano and Arjun Guha and Jon Bell and Massimiliano Culpo and Todd Gamblin},
  year = {2023},
  url = {https://arxiv.org/abs/2203.13737},
  note = {Source identifier: 2203.13737}
}