참교육
Z3 Solver 본문
Z3 솔버는 수학의 방정식을 풀어주는 Python 모듈이다.
처음엔 그냥 손으로 하면 되지 뭐 이런걸 다 써 라고 생각했는데...
pip install -I --no-use-wheel angr-only-z3-custom |
|
import os from z3 import * A=BitVec('A',32) s=Solver() s.add(A-52==104) print s.check() print s.model() |
'코딩 > Python' 카테고리의 다른 글
| scapy, RAW socket (0) | 2018.08.24 |
|---|---|
| python yaml 설치 (0) | 2018.01.30 |
| ANGR 오류수정 (0) | 2017.07.04 |