export const reformat: (model: any) => string | {
    opType: string;
    optimize: string;
    constraints: {};
    variables: {};
};
export function solve(model: any): Promise<any>;