この前の日記で書いた簡易DPLLをちょいと修正、充足可能なときにリテラルへの割り当てを返すようにしてみた。Ideone.com | 9qbbk

2017/09/05追記 本記事の内容は古くなったので、新しい記事を書きました なぜC#よりもF#なのか 2017 #fsharp - p_tan's blog 元ネタは id:bleis-tift さんのデブサミ2011の発表です。 デブサミ 2011 で F# について話してきました！ - ぐるぐる～C#と比較し…

そろそろ関数型言語もやっとかないとね、ということでF#でプログラミングしてみる。 参考文献 プログラミングF# 実践F# 関数型プログラミング入門 SAT Solver ちょっと前に「P=NP証明か？」とか話題になったね。 DPLLアルゴリズム DPLLアルゴリズム - Wikipe…