【作ってみた】SATソルバを作ってみよう【論理学】
- 2020/05/19 23:03:02 投稿
- 再生数：1039
- マイリスト数：21
論理パズルを解くプログラムの簡単な解説です。この分野に少しでも興味を持っていただけたら嬉しいです。youtube版： https://www.youtube.com/watch?v=GYrFliXBFEo 【ソースコード】前半： https://github.com/yukatayu/Rustic_SAT_Solver 後半： https://github.com/yukatayu/Rustic_PL_Solver 【講義資料】pdf： https://github.com/yukatayu/Rustic_SAT_Solver/blob/master/lecture_material.pdf 【訂正】× 充足可能性問題の判定ソルバ〇 充足可能性判定問題のソルバ【お問い合わせ等】twitter： https://twitter.com/yukata_yu