binary-decision-diagram/dist/esm/src/minimal-string/minimal-string-to-simple-bdd.d.ts

A library to create, minimize and optimize binary decision diagrams

import { SimpleBdd } from '../types.js';
export declare function minimalStringToSimpleBdd(str: string): SimpleBdd;