검사기

검사기는 한 가지 질문에 답해요: 이 수가 이 파일의 해인가요? 검사기는 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 라이선스의 오픈 소스예요.

다운로드 인기도: 아직 다운로드가 충분하지 않아요.