|
|
|
|
|
|
by froh
1116 days ago
|
|
|
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 |
|
|