Multi-terminal and Edge-valued Decision Diagram LibrarY
Primary LanguageC++GNU Lesser General Public License v3.0LGPL-3.0