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.
Si vous pensez que ce script enfreint les règles deGreasy Fork, veuillez le signaler pour le retirer.
Connectez-vous pour poster un avis, un commentaire ou une question.