Package Dependency Resolution Game

Whenever we install a package from a package manager like pip, apt, conda, etc., the package manager has to ensure that all direct and indirect dependencies of the package are satisfied without any conflicts. Such dependencies can be represented as a directed graph, where nodes are packages and edges represent dependencies.

You will play the role of a package manager and resolve package dependencies by selecting packages to install. The goal is to select packages such that all dependencies for the root package are satisfied without any conflicts. The game presents a dependency graph for the root package on the left. The right side shows the packages that are available to install. You can select packages by clicking on them.

⚠️ Before starting: We recommend that you go through this article which explains what happens behind the scenes when you install a package using a package manager: Boolean Propositional Logic for software installations?

Game Rules

Goal: Select packages to satisfy all dependencies (direct/indirect) for the root package
If a package depends on multiple versions of the same package, selecting any one version is enough
Constraints:
- No two versions of the same package can be selected
- All selected packages must form a valid dependency chain
How to play: Click on nodes in the graph to select/deselect them for installation. Root package that needs to be installed is highlighted in red
Win condition: All constraints satisfied to make root package installable
Boolean Hints: Use boolean clauses to guide your selection whenever you are stuck

Dependency Graph

Package Selection

Select packages by clicking the nodes in the graph or buttons below:

📦 Package Dependency Resolution Game

Dependency Graph

Package Selection

Game Status

Hints

Dependency Graph

Package Selection

Game Status

Hints

Boolean Hints

Solutions

Version Conflict