This paper presents a new decision diagram (DD), called MODD, for multiple output binary and multiple-valued functions. This DD is canonic and can be made minimal with respect to a given variable ...

python / cpython Public Sponsor Notifications You must be signed in to change notification settings Fork 32.2k Star 67.6k ...