Comment on Towards a new SymPyparentComments−bonzini3yFedora's dnf also uses SAT and it's way faster (with caching) than the handwritten resolver it replaced.
Comments
Fedora's dnf also uses SAT and it's way faster (with caching) than the handwritten resolver it replaced.