News for hackers. Stuff that matters.

A comment on Towards a New SymPy. Parent comment

Re:Towards a New SymPy by bmitc on Friday September 08, 2023 @11:45PM (#37442079)
> core CAS functionality (and performance) should be based on a SAT/SMT engine to discover the rewrite rules

Why is that? What are the alternatives?

[ Parent | on HN ]

There are no comments on this comment yet.