모든 계산식에 참이 되는 값을 구하는 방법
모든 계산식에 참이 되는 값을 어떻게 구해야할지 모르겠습니다.
z3 이용해서 시도 해봤지만 계산식을 모두 떄려박으면 결과가 나오지 않습니다...
도움 부탁드립니다.
#reversing
답변
1
mini-chip
Perfect 10
z3 이용하면 답을 얻을 수 있습니다. z3에서 조건을 잘못 추가하신 것이 아닌가 싶습니다.
질문에 대한 답을 알고 계신가요?
지식을 나누고 포인트를 획득해보세요.
답변하고 포인트 받기 지식을 나누고 포인트를 획득해보세요.
