チェッカー

チェッカーが答える問いは1つです：この数はこのファイルの解か？チェッカーは 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 それぞれ1つのコマンドが書いてあります。必要なのは新しめの C++ コンパイラーだけです。
JavaScript：node check.js ... は同じ引数を取ります。

バイナリには署名がありません。実行する前に SHA-256 を確かめてください：sha256sum forge-check-linux-x86_64 の出力が表の数と一致する必要があります。

チェッカーはすべて、MIT ライセンスのオープンソースです。

ダウンロードの多さ：まだダウンロードが足りません。