The original post: /r/programming by /u/Scary-Basil15 on 2024-10-13 08:00:29.

I have a set of equations I am solving them using Z3 in my ruby on rails app, and also to verify the solution using Excel, as multiple solutions exist the solution that Z3 gives is different from that of Excel. Need to have them both same as it would be easy for validation.