News for hackers. Stuff that matters.

A comment on Towards a New SymPy. Parent comment

Re:Towards a New SymPy by toth on Friday September 08, 2023 @12:03PM (#37435397)
Is Mathematica built like this?
[ Parent | on HN ]
Re:Towards a New SymPy by mathisfun123 on Friday September 08, 2023 @01:15PM (#37436434)
Yes but I doubt they're using z3 or cvc5 or any other oss sat/smt solver.
[ Parent | on HN ]
Re:Towards a New SymPy by c-cube on Saturday September 09, 2023 @08:22AM (#37444487)
Do you have any evidence for that? My impression is that Mathematica is built on a rewriting language along with thousands of built-in procedures (some of which are sat/smt). I don't think its core engine itself is smt.
[ Parent | on HN ]