Бета-версия. Problem Forge — новый сайт, вход только по приглашению. Период бета-тестирования идёт до 2026-11-30 включительно; полное открытие — 2026-12-01 00:00 UTC. Что-то может сломаться, и тогда мы можем исправить таблицы лидеров. Сложность некоторых ступеней может быть указана неверно. Во время беты призов нет, и награда не открыта. Ваш аккаунт и ваш прогресс сохранятся, когда бета закончится. Пожалуйста, сообщите нам, что работает хорошо и что не так: admin@problemforge.com.

Программа проверки

Программа проверки отвечает на один вопрос: решает ли это число этот файл? Она печатает 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лицензия
LICENSEbdef16d44c9c687035c0beb2b498d0b166f1257ed30d48a825e99a4bf1646673MIT
check.js10281aa1d5f651bb339d1de64584d8d4adfefeabceb96ab5eb7a452d2d313ce7MIT
forge-check-1.4.1-src.tar.gz0d91411b3cea45eeb43be60cd1d887710a8a21a8fbc09c15e1fa25daadba20b0MIT
forge-check-linux-x86_641be878f70513f7e3896ab9f28f0218dd7598c7327e74ab2f71a675da77ac0805MIT
forge-check-linux-aarch64скоро
forge-check-macos-universalскоро
forge-check-windows-x86_64.exeскоро
check.wasmскоро

SHA256SUMS · Как запустить программу проверки

Исполняемые файлы не подписаны. Проверьте SHA-256, прежде чем запускать: sha256sum forge-check-linux-x86_64 должна вывести число из таблицы.

Все программы проверки — с открытым исходным кодом, по лицензии MIT.

Популярность загрузок: пока мало загрузок.