Home

Awesome

TdZdd 1.1

A top-down/breadth-first decision diagram manipulation framework

TdZdd is an efficient C++ library for manipulating ordered decision diagrams (DDs). Unlike the ordinary DD libraries that are optimized for efficient operations between multiple DDs, TdZdd focuses on direct construction of a non-trivial DD structure from scratch. It has three basic functions:

The DD construction function takes user's class object as an argument, which is a specification of the DD structure to be constructed. An argument of the DD evaluation function represents procedures to be executed at each DD node. The construction and evaluation functions can also be used to implement import and export functions of DD structures from/to other DD libraries.

Features of TdZdd include:

This software is released under the MIT License, see LICENSE.

Preparation

Add the absolute path of the "include" directory to your C++ include path, or copy the "include/tdzdd" directory into an existing directory in your C++ include path (e.g. "/usr/local/include").

The "apps" directory contains several applications, which are included as sample code; there is no need to compile them just to use TdZdd as a library. If you are interested in compiling apps/graphillion, you will need SAPPOROBDD. You need CUDD to compile apps/cnfbdd and apps/cnf2ztdd2bdd.

Documents

<!-- * [TdZdd: フロンティア法のための効率的なトップダウンZDD構築を実現するC++ライブラリ](http://www-erato.ist.hokudai.ac.jp/docs/autumn2013/iwashita.pdf) -->

Related repositories