mdd 0.1.1

Python abstraction around Binary Decision Diagrams to implement Multivalued Decision Diagrams.

Py-MDD

Python abstraction around Binary Decision Diagrams to implement Multivalued Decision Diagrams.

Installation

If you just need to use py-mdd, you can just run:

$ pip install mdd

For developers, note that this project uses the poetry python package/dependency management tool. Please familarize yourself with it and then run:

$ poetry install

Usage

    interface = mdd.Interface(
        inputs={
            "x": [1, 2, 3],
            "y": [6, 'w'], 
            "z": [7, True, 8],
        }, 
        output=[-1, 0, 1],
    )
    func = interface.constantly(-1)
    assert func({'x': 1, 'y': 'w', 'z': 8}) == -1

The mdd api centers around three DecisionDiagram objects.

This object is a wrapper around a Binary Decision Diagram object (from dd).

Interfaces, Inputs, and Outputs

MDD Manipulations

1. partial assigments.
2. overrides.
3. setting order.
4. wrapping lifting a bdd.

Variables and Encodings