import type { Formula, Model } from '../types';
/**
 * Get the js-lp-solver model for a formula
 * @param {Formula} formula
 * @returns {Model}
 */
export declare function formulaToModel(formula: Formula): Model;