fangbq / TSDD

Tagged Sentential Decision Diagrams

TSDD

This is Tagged Sentential Decision Diagram package.

To reference this paper, please use:

@inproceedings{fang2019tagged,
  title={Tagged Sentential Decision Diagrams: Combining Standard and Zero-suppressed Compression and Trimming Rules},
  author={Fang, Liangda and Fang, Biqing and Wan, Hai and Zheng, Zeqi and Chang, Liang and Yu, Quan},
  booktitle={2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)},
  pages={1--8},
  year={2019},
  organization={IEEE}
}

Make & Run

make
./tsdd ../sample/c17.cnf

Dependencies

graphviz - for drawing TSDDs in png format

expect - for timeout of a test