import type { CpNode } from "../cp-node/cp-node.js";
import type { Mat } from '../mat/mat.js';
declare function getCpNodessForSat(sat: Mat): CpNode[][];
export { getCpNodessForSat };