miniblog.

← Back to all posts
Dependency resolution is NP-complete, and many package managers use external SAT solvers!