moratori/clover

節の簡単化規則の追加

Closed this issue · 1 comments

moratori commented
  • アルファベット同値類の削除
  • 節の吸収則の実装
  • 単一述語の除去
moratori commented

実装済み