import type { CodeSpec, ConstraintSet } from '../types.js';
export declare function generateConstraints(task: string, language: string, specs: CodeSpec[], onProgress?: (msg: string) => void): Promise<ConstraintSet>;