#atgm_2020 12匁 特殊な数独をソルバーで解くためにpythonとpulpを勉強する - Qiita

はじめに この記事は普段C++とかTypeScriptに慣れ親しんでいる、pythonもソルバーとか使ったことない筆者がpythonとpulpというソルバーライブラリを使ってみる記事です。 「あんたがた」シリーズ第二弾です 前作→#atgt2019 14匁にC++の力で挑んだが甜菜はそんなものをふっとばして答えにたどり着く - Qiita atgtとは ｢あめちゃん｣が考案し、2ちゃんねるVIP板にて開催された｢VIPPERのあんたがたに挑戦します｣ その遊びはTwitterの世界に持ち込まれ、有志によって続いてきました。 その正当な流れを組みつつ、新型コロナウィルス対策を施したルールにより、 ステイホームのゴールデンウィークを最高にwktkなものにしてくれたイベント、 それが｢ツイッターのあんたがたに挑戦します2020GW｣です。 このイベントは全体戦で、｢ツイッターのあんたがたに挑戦し