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.

Download

https://doi.org/10.5281/zenodo.7554407

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