I was talking about this comment at lunch \w coleague, and he claimed, that his coleague found halting problem-equvalence in experimental package manager of fedora :)
I haven't yet verified this claim, but when you are using sat solvers for dependency resulution ... it wouldn't suprise me that much if you could describe halting problem in the new & fancy dependency graph :D
https://fedoraproject.org/wiki/Features/DNF
I haven't yet verified this claim, but when you are using sat solvers for dependency resulution ... it wouldn't suprise me that much if you could describe halting problem in the new & fancy dependency graph :D