{"width":"100%","title":"Xmas Contest 2017 I - SAT Puzzle \u3092 z3 \u3092\u4f7f\u3063\u3066\u89e3\u3044\u305f","blog_title":"\u66f4\u65b0\u65e5\u6642\u3067\u5dee\u3092\u3064\u3051\u308d","blog_url":"https://sei0o.hateblo.jp/","description":"Xmas Contest 2017\u306eI - SAT Puzzle\u306e\u30d1\u30ba\u30eb\u3092z3\u3068\u3044\u3046SMT\u30bd\u30eb\u30d0\u3092\u4f7f\u3063\u3066\u89e3\u3044\u3066\u307f\u305f\u3002 \u3042\u3068\u3067minisat\u304c\u89e3\u91c8\u3067\u304d\u308bDIMACS CNF\u3092\u51fa\u529b\u3059\u308b\u3088\u3046\u306b\u3057\u3066\u5b9f\u969b\u306b\u30b8\u30e3\u30c3\u30b8\u306b\u3082\u51fa\u3057\u3066\u307f\u305f\u3044\u3002 \u53c2\u8003\u306b\u3057\u305f\u306e\u306f\u3053\u3053\u3002 Xmas Contest 2017 I\u554f\u984c SAT Puzzle \u89e3\u8aac SAT \u30bd\u30eb\u30d0\u30fc \u5165\u9580 JOI\u6625\u5408\u5bbf\u306e\u30b9\u30e9\u30a4\u30c9\u3002 \u30d1\u30ba\u30eb\u3092Sugar\u5236\u7d04\u30bd\u30eb\u30d0\u30fc\u3067\u89e3\u304f z3\u306f\u5358\u306a\u308b\u30bd\u30eb\u30d0\u306a\u306e\u3067\u3001\u305d\u306e\u30bd\u30eb\u30d0\u3092\u4f7f\u3046\u8a00\u8a9e\u306f\u81ea\u7531\u306b\u9078\u3079\u308b\u3002z3 gem\u304c\u3042\u3063\u305f\u306e\u3067Ruby\u3067\u66f8\u3044\u305f\u3002 \u96a3\u63a5\u306e\u5224\u5b9a\u30928\u65b9\u5411\u3067\u884c\u3063\u3066\u305f\u308a\u3044\u308d\u3044\u308d\u9593\u9055\u3048\u305f\u308a\u3057\u30665\u6642\u9593\u3050\u3089\u3044\u304b\u304b\u3063\u305f\u2026 exampl\u2026","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fsei0o.hateblo.jp%2Fentry%2F2018%2F02%2F10%2F203349\" title=\"Xmas Contest 2017 I - SAT Puzzle \u3092 z3 \u3092\u4f7f\u3063\u3066\u89e3\u3044\u305f - \u66f4\u65b0\u65e5\u6642\u3067\u5dee\u3092\u3064\u3051\u308d\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","image_url":null,"provider_url":"https://hatena.blog","type":"rich","author_name":"sei0okun","version":"1.0","height":"190","provider_name":"Hatena Blog","author_url":"https://blog.hatena.ne.jp/sei0okun/","published":"2018-02-10 20:33:49","url":"https://sei0o.hateblo.jp/entry/2018/02/10/203349","categories":["CTF"]}