ナンバーリンクをJavaScriptで解くソルバーです。関西解（全マスを使わない解）のチェックも行った上で、作者のPCでは15×15でも10秒以内に終わります。使い方は、
- 上のボックスで幅と高さを指定して「変更＆クリア」を押してサイズを設定する（処理の都合上＆1マス幅では自明なものしかできないので、2×2以上で入力してください）
- フィールド内をクリックして数字を入れる
- 下の「計算開始」を押す
という手順です。なお、いくつかの制約事項があります。
- TypedArrayやWeb Workersといった技術を使うため、Internet Explorer 9以下など、古い環境では動きません。
- たまに、全マスを使うこと自体を条件に入れている問題がありますが、そのような問題には対応していません。
- 別解がある場合も、別解については表示されません。また、関西解の場合にも別解の有無チェックは行いません。
- 一意に解けない問題で、数字とは繋がらずに独立したループができることがあります。これらのループを取り除けば、結局は関西解になるので、あまり気にしないでください
（解説）。
- 途中経過表示はほとんど行いません。なお、バックグラウンド実行としましたので、実行中もブラウザ操作が可能です。
ご意見などありましたら、作者まで適当な連絡方法あるいは
GitHubのイシューにてお知らせください。
なお、このソルバーの中核となるminisat.jsは当該ファイルへのライセンス表記の通りMITライセンスで利用可能です。また、Jkr2255が作ったその他のコードについても
同じくMITライセンスで再利用可能です。
経過の表示：