This repository contains my simple research on how SAT Solver based dependency resolution algorithm could cause some issues.
Contents in this repository
- Supply Chain Security - Dependency Resolution Presentation.pdf
- Presentation slides used as the first presentation of the Software Supply Chain Security Course
- blog
- Blog post about the issue I am trying point out
- experiments
- Instructions on how to reproduce the experiments I did in this project