Hacker News new | past | comments | ask | show | jobs | submit login

Just in case somebody might benefit from finding out how easy it is in python with z3

  >>> from z3 import Int, solve
  >>> x = Int('x')
  >>> solve([x > 2, x < 5, x % 2 == 0])
  [x = 4]



The argument here is that you used a program to solve an equation. You did not write your program in that way. Indeed, you are using operator overloading/fancy syntax to make this work.

If anything, this seems to support the original claim.




Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: