【数当て、ヒットアンドブロー、マスターマインド】

「最適」解を求めるとありますから、単に解を探索するだけではだめなんですよね？
与えられた問題において、ヒット値とブロー値を入力すると、最短で解をみつけるのにふさわしい数値を自動生成してくれるようなソフト、と解釈すればよいですか？

失礼しました。
最適解のアルゴリズムを検証するために実際に動くゲーム環境を探していると解釈していました。最速アルゴリズム自体を探しているということでしたか。。ご質問文によりますと、４桁の最速アルゴリズムは存在するのですね。。。

マスターマインドの遊び方がよく分かっておらず誤解していました。
紹介されているvectorのソフトを試しに使ってみて以下と理解しました。
自分の理解を正すために整理すると今回の要望は、、
　・マスターマインドの問題を作りたい
　・０から９の数字３桁を使う
　・作った問題が正しいのかどうか（＝最適解であるか）を検証したい
　　ここで正しいとは、、　
　　　　　・回答に曖昧性がない様に十分なパターンが提示されていること
　　　　　　（提示する手数が少なすぎることがない）
　　　　　・余計なヒントを与えすぎていないこと
　　　　　　（提示する手数が多すぎることがない）
　・この検証するためのツールを探している
　　検証ツール（＝mastermind solver）は、
　　　　　・無料であること、０－９の３桁を扱うこと

　問題の曖昧性をチェックするのが目的なので、検証ツールは、組み合わせの数の全空間（１０の3乗？）を探査する必要がある。（solverは最適アルゴリズムである必要はなく、全空間を探査して作成された問題の曖昧性がない事を確認することが目的）

３桁のmaster mind自体珍しい仕様と思われ、これを検証するツールは作らないと存在しないのでは？と思われます。。（もし見つからなかったら、勉強を兼ねて作ってみますが。。。ボソ）

コメントを下さった、kuro-yo 様もありがとうございました。

chakoku 様も書いておられるように、

> ３桁のmaster mind自体珍しい仕様と思われ、

という事もありまして、一般的ではない変則的な物が必要になっておりました。
ロジック的には４桁が３桁に減るのですから、処理自体を記述する事は４桁よりも楽になりそうなのですが、
とにかく今すぐに動かせる物が必要な状況にありました (今現在もその状況下にあります)。

最適解…と言いますか、ともかく私がその３桁の変則的なヒット＆ブローを「楽に解ければ」良かったのです(^-^;

とにかく現在は皆様に感謝しております。

Reiaru様

ツールがご希望に沿えたようで、なによりです。もしバグとか改善要望がありましたら、私の記事にコメントなり書いてください。
サイト自体はgoogle app engineを使っていて追い出されない限りそのままにしておきます。もしソースの要望がありましたらご提示します。(pythonです)