ましゅをJavaScriptで解くソルバーです。使い方は、
- 上のボックスで幅と高さを指定して「変更＆クリア」を押してサイズを設定する（処理の都合上＆1マス幅では自明なものしかできないので、2×2以上で入力してください）
- フィールド内をクリックして○や●を入れる
- 下の「計算開始」を押す
という手順です。なお、いくつかの制約事項があります。
- TypedArrayやWeb Workersといった技術を使うため、Internet Explorer 9以下など、古い環境では動きません。
- 別解がある場合も、1つの解のみ表示されます。
- 途中経過表示はほとんど行いません。なお、バックグラウンド実行としましたので、実行中もブラウザ操作が可能です。
ご意見などありましたら、作者まで適当な連絡方法あるいは
GitHubのイシューにてお知らせください。
なお、このソルバーの中核となるminisat.jsは当該ファイルへのライセンス表記の通りMITライセンスで利用可能です。また、Jkr2255が作ったその他のコードについても
同じくMITライセンスで再利用可能です。
経過の表示：