import type { Formula, FormulaSet } from '../types';
export declare function solveFormulaSet(formulaSet: FormulaSet<Formula>): FormulaSet<Formula>;