A new automatic horn & KR solving userscript, with a focus on code readability and modularity. Note that the published userscript is generated by a JS bundler, so don't try to debug it directly. Instead, go to the script's GitHub repo (linked below) and download the source code. The repo has instructions on how to run the bundler yourself.
当前为
A new automatic horn & KR solving userscript, with a focus on code readability and modularity. Note that the published userscript is generated by a JS bundler, so don't try to debug it directly. Instead, go to the script's GitHub repo and download the source code. The repo has instructions on how to run the bundler yourself.
At the moment there isn't a UI for the script, and the horn delay is set between 15 seconds - 3 minutes, but I plan to make this configurable in the future (you can also change it yourself, visit the GitHub repo to see how). Let me know of any bugs/feature requests in the feedback section!
Works on Chrome and Firefox as on 31 Jan 2023.
