UNPKG

binary-decision-diagram

Version:

A library to create, minimize and optimize binary decision diagrams

4 lines (3 loc) 172 B
import { RootNode } from './root-node.js'; import type { TruthTable } from './types.js'; export declare function createBddFromTruthTable(truthTable: TruthTable): RootNode;