{"type":"rich","version":1.0,"provider_name":"Speaker Deck","provider_url":"https://speakerdeck.com/","title":"SAT ソルバーの仕組みと制約ソルバーへの応用","author_name":"tsoh","author_url":"https://speakerdeck.com/tsoh","html":"\u003ciframe id=\"talk_frame_1592321\" class=\"speakerdeck-iframe\" src=\"https://speakerdeck.com/player/a9522ae181254c9ab10d861165661f38\" width=\"710\" height=\"399\" style=\"aspect-ratio:710/399; border:0; padding:0; margin:0; background:transparent;\" frameborder=\"0\" allowtransparency=\"true\" allowfullscreen=\"allowfullscreen\"\u003e\u003c/iframe\u003e\n","width":710,"height":399,"ratio":1.7784313725490195}