News for hackers. Stuff that matters.

A comment on Towards a New SymPy. Parent comment

Re:Towards a New SymPy by bonzini on Friday September 08, 2023 @12:54PM (#37436151)
Fedora's dnf also uses SAT and it's way faster (with caching) than the handwritten resolver it replaced.
[ Parent | on HN ]

There are no comments on this comment yet.