The ntmaig package
Construction of mAigs from a flattened network.
By Mohammad Awedh
Provides a routine to build the mvfAigs of the roots of an
arbitrary region of a network, in terms of the leaves of the region. The
leaves can be treated as variables or as specific constants.
Last updated on 20050519 00h50