Write a Blog >>
ICSE 2023
Sun 14 - Sat 20 May 2023 Melbourne, Australia

Artifact for Flexible and Optimal Dependency Management via Max-SMT

We are claiming the Evaluated (Reusable) and Available Badges.

The purpose of the artifact is to demonstrate the software component of the paper “Flexible and Optimal Dependency Management via Max-SMT”, by providing an environment with PacSolve and MaxNPM pre-installed with examples to run that demonstrate the main features of the software and how it can find optimal solutions package installations within the NPM ecosystem.

We assume that the reviewer has basic knowledge of the NPM ecosystem, how to use the command line, and how to use Docker.



Then extract the archive and follow the instructions in README.md.