코드게이트 문제를 풀다가 알게 된 라이브러리다.
수식을 주면 변수를 알아내도록 도와주는 도구임.
설치는 아래 링크를 참고
https://github.com/Z3Prover/z3
'Language > python' 카테고리의 다른 글
| python dictionary에서 한글 입력 (0) | 2018.06.05 |
|---|---|
| [python] 동적 import (0) | 2018.02.11 |
| [python] 단순 치환암호 복호화하기 (0) | 2017.11.18 |
| [python] try, finally (0) | 2017.11.18 |
| python 코드 잘 짜는 방법 (0) | 2017.08.21 |