The checker

The checker answers one question: does this number solve this file? It prints yes or no. It agrees with the site. To check in your browser, use the Check page.

forge-check <spec|spec-file> <instance-file> <answer|answer-file> [--why]
stdout: yes | no      exit: 0 = yes, 1 = no, 2 = the question could not be posed

The spec is the problem: a name such as 3sat, a code such as HC, a layout such as tsp@2, or the name of your copy. --why prints the reason for a no. Spaces and underscores in the answer are ignored.

Downloads

SHA256SUMS · How to run a checker

• Linux (x86_64): download forge-check-linux-x86_64, check its SHA-256, then chmod +x it.
• Any system: download the source archive and build it. Its BUILD.md gives one command each for Linux, macOS and Windows. You need only a recent C++ compiler.
• JavaScript: node check.js ... takes the same arguments.

The binaries are not signed. Check the SHA-256 before you run one: sha256sum forge-check-linux-x86_64 must print the number in the table.

All checkers are open source under the MIT licence.