Skip to main content
OSTI.GOVU.S. Department of Energy Office of Scientific and Technical Information
U.S. Department of Energy
Office of Scientific and Technical Information
 

Flexible and Optimal Dependency Management via Max-SMT

Conference ·
 [1];  [1];  [1];  [1];  [2];  [3]
  1. Northeastern University
  2. np-complete, S.r.l.
  3. Lawrence Livermore National Laboratory
+ Show Author Affiliations

Research Organization:
Lawrence Livermore National Laboratory (LLNL), Livermore, CA (United States)
Sponsoring Organization:
USDOE National Nuclear Security Administration (NNSA)
DOE Contract Number:
AC52-07NA27344
OSTI ID:
2223021
Report Number(s):
LLNL-CONF-857728; 1087874
Resource Relation:
Conference: Melbourne, null, Australia
Country of Publication:
United States
Language:
English

References (15)

Dependency solving: A separate concern in component evolution management October 2012
A comprehensive study of bloated dependencies in the Maven ecosystem March 2021
Managing the Complexity of Large Free and Open Source Package-Based Software Distributions September 2006
Potassco: The Potsdam Answer Set Solving Collection January 2011
The Spack package manager: bringing order to HPC software chaos January 2015
Software release management November 1997
Handling software upgradeability problems with MILP solvers July 2010
A longitudinal analysis of bloated Java dependencies
  • No authors listed
  • Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering https://doi.org/10.1145/3468264.3468589
August 2021
A modular package manager architecture February 2013
The Used, the Bloated, and the Vulnerable: Reducing the Attack Surface of an Industrial Application September 2021
aspcud: A Linux Package Configuration Tool Based on Answer Set Programming August 2011
Solving Linux Upgradeability Problems Using Boolean Optimization July 2010
Dependency Solving Is Still Hard, but We Are Getting Better at It February 2020
OPIUM: Optimal Package Install/Uninstall Manager May 2007
Growing solver-aided languages with rosette October 2013

Similar Records

Related Subjects

Computer science