python2 [python] base64 모듈을 이용한 custom base64 import string import base64 STANDARD_ALPHABET = 'ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789+/' CUSTOM_ALPHABET = '0123456789abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ+/' ENCODE_TRANS = string.maketrans(STANDARD_ALPHABET, CUSTOM_ALPHABET) DECODE_TRANS = string.maketrans(CUSTOM_ALPHABET, STANDARD_ALPHABET) def encode(input): return base64.b64encode(input).translate(EN.. 2018. 11. 23. Install z3 on Ubuntu x64 pip install을 이용해서 깔았었는데 실패해서 github에서 git clone을 이용해서 깔기로 함 github: https://github.com/Z3Prover/z3 하라는 대로 따라 했는데 제대로 설치됐나 확인해보니 'import error no module named z3'..... 한참을 헤매다 다시 보니 --prefix를 해달라고 하는데 그냥 ./configure를 하면 알아서 환경설정 해준다. 이번에는 import 에러가 안 뜨긴 했는데 혹시나 싶어서 예제 입력해보니 'NameError: name 'Int' is not defined' 라고 뜬..... example.py 를 열어보니 PYTHONPATH에 경로를 추가해 달라는데 z3/z3.py가 있는 디렉토리를 경로에 추가해야 한다고.. 2017. 7. 4. 이전 1 다음
