Problem Forge
El verificador
El verificador responde una sola pregunta: ¿este número resuelve este archivo? Imprime yes o no. Coincide con el sitio. Para verificar en tu navegador, usa la página «Verificar».
forge-check <spec|spec-file> <instance-file> <answer|answer-file> [--why] stdout: yes | no exit: 0 = yes, 1 = no, 2 = no se pudo plantear la pregunta
La especificación es el problema: un nombre como 3sat, un código como HC, un formato como tsp@2, o el nombre de tu copia. --why imprime el motivo de un no. Los espacios y los guiones bajos de la respuesta se ignoran.
Descargas
| archivo | sha256 | licencia |
|---|---|---|
| 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 | próximamente | |
| forge-check-macos-universal | próximamente | |
| forge-check-windows-x86_64.exe | próximamente | |
| check.wasm | próximamente | |
SHA256SUMS · Cómo ejecutar un verificador
- Linux (x86_64): descarga
forge-check-linux-x86_64, verifica su SHA-256 y luego aplícalechmod +x. - Cualquier sistema: descarga el archivo comprimido del código fuente y compílalo. Su
BUILD.mdda un comando para cada sistema: Linux, macOS y Windows. Solo necesitas un compilador de C++ reciente. - JavaScript:
node check.js ...acepta los mismos argumentos.
Los binarios no están firmados. Verifica el SHA-256 antes de ejecutar uno: sha256sum forge-check-linux-x86_64 debe imprimir el número de la tabla.
Todos los verificadores son de código abierto bajo la licencia MIT.
Popularidad de las descargas: todavía no hay suficientes descargas.