2011-02-22から1日間の記事一覧

F#で簡易DPLL 修正版

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