Problem Forge
Le vérificateur
Le vérificateur répond à une seule question : ce nombre résout-il ce fichier ? Il affiche yes ou no. Il donne le même résultat que le site. Pour vérifier dans votre navigateur, utilisez la page « Vérifier ».
forge-check <spec|spec-file> <instance-file> <answer|answer-file> [--why] stdout: yes | no exit: 0 = yes, 1 = no, 2 = la question n'a pas pu être posée
La spécification indique le problème : un nom comme 3sat, un code comme HC, une disposition comme tsp@2, ou le nom de votre exemplaire. --why affiche la raison d'un no. Les espaces et les tirets bas dans la réponse sont ignorés.
Téléchargements
| fichier | sha256 | licence |
|---|---|---|
| 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 | à venir | |
| forge-check-macos-universal | à venir | |
| forge-check-windows-x86_64.exe | à venir | |
| check.wasm | à venir | |
SHA256SUMS · Comment lancer un vérificateur
- Linux (x86_64) : téléchargez
forge-check-linux-x86_64, vérifiez son SHA-256, puis faiteschmod +xdessus. - Tout système : téléchargez l'archive des sources et compilez-la. Son fichier
BUILD.mddonne une commande pour Linux, une pour macOS et une pour Windows. Il vous faut seulement un compilateur C++ récent. - JavaScript :
node check.js ...prend les mêmes arguments.
Les binaires ne sont pas signés. Vérifiez le SHA-256 avant d'en lancer un : sha256sum forge-check-linux-x86_64 doit afficher le nombre du tableau.
Tous les vérificateurs sont open source, sous licence MIT.
Popularité des téléchargements : pas encore assez de téléchargements.