| |||||||||||||
DNF, which may or may not replace YumDNF, which may or may not replace YumPosted Jun 29, 2012 3:35 UTC (Fri) by ezyang (subscriber, #62208)Parent article: DNF, which may or may not replace Yum
I was under the impression that explanations for unsatisfiability was an (unsexy) open problem, so I'm a bit surprised that this hasn't been more of a problem for people wanting to use SAT solvers to solve their package dependency problems.
(Log in to post comments)
|
|||||||||||||