4 ms·

Is Mathematica built like this?

• mathisfun123 3y ago
  Yes but I doubt they're using z3 or cvc5 or any other oss sat/smt solver.
  • c-cube 3y ago
    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.