10 <= x <= 50, 10 <= y <= 50, 10 <= z <= 50


이런조건인데,


이조건이랑


10<=x, x<=50, 10<=y, y<=50, 10<=z, z<=50  이조건이 결과가 똑같은데,


속도가 왤케 많이 차이나죠?;; 궁금하네요.


파이썬 z3로 방정식 문제푸는걸 프로그래밍을 하는데 무슨이유로, 전자 조건이 많이 느릴까요..


설명해주실분 있나요.