Comment on Towards a new SymPyparentComments−toth3yIs Mathematica built like this?−mathisfun1233yYes but I doubt they're using z3 or cvc5 or any other oss sat/smt solver.−c-cube3yDo 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.
Comments
Is Mathematica built like this?
Yes but I doubt they're using z3 or cvc5 or any other oss sat/smt solver.
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.