>>238
ググってvectorサイトの「ソフト詳細説明」だけですが、その名のアプリの存在を確認しました。
ご案内をありがとうございました！

＞実行環境、そして性能検証結果が何かしら開示できているのでしょうか？

実行環境はエクセルなんですね。
それでUIはなんとなく想像しました。

＞打ち込むのは手作業かな？

普通に、こんなところでしょうか。

＞性能同様、そんな基本的なUI機能も伺いたいです。

残る性能ですが
＞例えば、初級クラスの数独問題の通りに、与えられた数字を打ち込めば、だいたい何秒？（何分？何時間？）で、解ける、とかの具体的性能。

性能以前に機能がまだハッキリと「ソフト詳細説明」から読み取れないです。

そもそも与えられた問題に対して「ユーザーに『次の一手の選択肢』を提示する支援」はしても、「ソフト自体が自律的に最後まで解く」、ことか、そのエクセルVBAアプリで、できるのてしょうか？

それは私なりに勝手に想像した（期待した）機能ではありますが、そんな機能レベルから読み取れなくて、誰か詳しい方へお尋ねするしかありません。
アプリのユーザーなり、著作者なりへと。