Валідація
Синтаксична й семантична перевірка нативного CP-SAT контракту.
Діагностика оптимізаційних моделей
Коли модель не знаходить розв’язку,
зрозумійте чому.
Перевіряйте OR-Tools CP-SAT, досліджуйте несумісні обмеження та отримуйте перевірені пропозиції змін. Жодного автоматичного редагування моделі.
РОБОЧИЙ ПРОСТІР
Перевірити модель
Результат
Не запускалось∑
Тут з’явиться висновок
Виберіть модель, операцію та запустіть аналіз. Жодні файли не зберігаються в історії сервісу.
Основний результат
Validation details
Error code
Diagnosis
—
Evidence proves sufficiency, not minimality.
Repair proposal
—
Business impact and cost are unknown; none of these alternatives is ranked or applied.
Технічні подробиці та докази
- Виконання
- —
- Статус розв’язувача
- —
Objective value
Model structure
Labels are supplied by the model author and are not verified business explanations.
- Variables
- Constraints
- Assumptions
- Objective
Constraint types:
Variable preview
| Index | Unverified label | Domain |
|---|
Constraint preview
| Index | Unverified label | Type | Enforcements |
|---|
Solution variables
Values are identified by protobuf index, not validated business names.
| Variable index | Model label (unverified) | Value |
|---|
Model SHA-256
—
Технічний результат
МЕЖІ СИСТЕМИ
Докази замість припущень
Діагностика
Верифікація достатнього ядра конфліктних припущень, якщо воно доступне.
Контроль
Можлива зміна лише як окрема пропозиція. Модель не змінюється автоматично.