ご意見などありましたら、作者まで適当な連絡方法あるいは GitHubのイシューにてお知らせください。
なお、このソルバーの中核となるminisat.jsは当該ファイルへのライセンス表記の通りMITライセンスで利用可能です。また、Jkr2255が作ったその他のコードについても 同じくMITライセンスで再利用可能です。
minisat.js
経過の表示：