检查器

检查器只回答一个问题：这个数是否解出了这个文件？它会打印 yes 或 no。它的结果与本站一致。要在浏览器中检查，请使用检查页面。

forge-check <spec|spec-file> <instance-file> <answer|answer-file> [--why]
stdout: yes | no      exit: 0 = yes, 1 = no, 2 = 无法进行检查

规格指定问题：可以是名称，如 3sat；代码，如 HC；布局，如 tsp@2；或者你的副本的名称。--why 会打印给出 no 的原因。答案中的空格和下划线会被忽略。

下载

文件	sha256	许可证
LICENSE	bdef16d44c9c687035c0beb2b498d0b166f1257ed30d48a825e99a4bf1646673	MIT
check.js	10281aa1d5f651bb339d1de64584d8d4adfefeabceb96ab5eb7a452d2d313ce7	MIT
forge-check-1.4.1-src.tar.gz	0d91411b3cea45eeb43be60cd1d887710a8a21a8fbc09c15e1fa25daadba20b0	MIT
forge-check-linux-x86_64	1be878f70513f7e3896ab9f28f0218dd7598c7327e74ab2f71a675da77ac0805	MIT
forge-check-linux-aarch64	即将推出
forge-check-macos-universal	即将推出
forge-check-windows-x86_64.exe	即将推出
check.wasm	即将推出

文件

sha256

许可证

bdef16d44c9c687035c0beb2b498d0b166f1257ed30d48a825e99a4bf1646673

MIT

10281aa1d5f651bb339d1de64584d8d4adfefeabceb96ab5eb7a452d2d313ce7

MIT

0d91411b3cea45eeb43be60cd1d887710a8a21a8fbc09c15e1fa25daadba20b0

MIT

1be878f70513f7e3896ab9f28f0218dd7598c7327e74ab2f71a675da77ac0805

MIT

forge-check-linux-aarch64

即将推出

forge-check-macos-universal

即将推出

forge-check-windows-x86_64.exe

即将推出

check.wasm

即将推出

Linux (x86_64)：下载 forge-check-linux-x86_64，核对它的 SHA-256，然后对它执行 chmod +x。
任何系统：下载源代码压缩包并构建。其中的 BUILD.md 为 Linux、macOS 和 Windows 各给出一条命令。你只需要一个较新的 C++ 编译器。
JavaScript：node check.js ... 接受相同的参数。

这些二进制文件没有签名。运行之前请核对 SHA-256：sha256sum forge-check-linux-x86_64 打印的数必须与表中的一致。

所有检查器都以 MIT 许可证开源。

下载热度：下载次数还不够多。