Master's thesis project with the title "A Case Study of Interactive Conflict-Resolution Support in Software Configuration." I implemented a prototype, based on the Linux kernel's configuration tool xconfig, which was able to automatically resolve unmet dependencies.