虫食い算

算数・数学パズルである「虫食い算」や「覆面算」を対象とした、問題の自動生成アルゴリズムおよび高速解法ソルバーの開発プロジェクトです。

一意解（答えが1つだけに定まる）を持つ美しい問題を探索・自動生成するロジックや、インタラクティブに問題を解けるアプリケーションの作成を行っています。