the problem wasnot using a sat solver but how they used it. many package dependency managers use sat solvers since suse spearheaded this in 2007/2008 with libs

the problem wasnot using a sat solver but how they used it. many package dependency managers use sat solvers since suse spearheaded this in 2007/2008 with libsolv, which is blazing fast for large repositories. https://research.swtch.com/version-sat https://research.swtch.com/version-sat