import type { TruthAssignmentsMap } from "../../models";
/**
 * Generates all possible truth assignments for a given number of variables.
 *
 * @param varCount - The number of boolean variables.
 * @param limit - The maximum allowed number of variables (default: 100).
 * @returns A map of truth assignments, indexed by binary count.
 * @throws {Error} If varCount exceeds the limit.
 * @category Truth Tables
 */
export declare function generateTruthAssignments(varCount: number, limit?: number): TruthAssignmentsMap;