أداة التحقق
تجيب أداة التحقق عن سؤال واحد: هل يحلّ هذا العدد هذا الملف؟ تطبع 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 | قريبًا | |
SHA256SUMS · كيف تشغّل أداة تحقق
- 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.
شعبية التنزيل: لا توجد تنزيلات كافية بعد.