response | { error?: string; softViolations?: { actualValue: number; constraintId: string; targetValue: number; violationAmount: number; }[]; solutionInfo?: string; statistics?: { branches?: number; conflicts?: number; solveTimeMs?: number; }; status: "OPTIMAL" | "FEASIBLE" | "INFEASIBLE" | "TIMEOUT" | "ERROR"; values?: Record<string, number>; } | The solver response containing variable values |
response.error? | string | - |
response.softViolations? | { actualValue: number; constraintId: string; targetValue: number; violationAmount: number; }[] | - |
response.solutionInfo? | string | - |
response.statistics? | { branches?: number; conflicts?: number; solveTimeMs?: number; } | - |
response.statistics.branches? | number | - |
response.statistics.conflicts? | number | - |
response.statistics.solveTimeMs? | number | - |
response.status | "OPTIMAL" | "FEASIBLE" | "INFEASIBLE" | "TIMEOUT" | "ERROR" | - |
response.values? | Record<string, number> | - |