2014-12-29から1日間の記事一覧

CRC32 Quine を Z3 で解く

ref: http://shinh.hatenablog.com/entry/2014/12/25/013926おー。Z3 で再現してみた。 $ time python crc32.py 86319a79 58a8a1b9 real 151m1.375s user 151m7.607s sys 0m0.179s1 つめは 3 分くらいで見つかるけど、2 つめは 2 時間くらい、チェック完了ま…