pyzdd

TdZdd的Python包装器

• Github: https://github.com/lan496/pyzdd
• PyPI: https://pypi.ac.cn/project/pyzdd/

安装

pyzdd与Python3.8+兼容，可以通过PyPI安装

pip install pyzdd

或本地安装

git clone git@github.com:lan496/pyzdd.git
cd pyzdd
pip install -e .

如何引用pyzdd

如果您在研究中使用此包，请按照以下方式引用TdZDD。

@techreport{Iwashita13,
  author = {Hiroaki Iwashita and Shinichi Minato},
  memo = {Efficient Top-Down {ZDD} Construction Techniques Using Recursive Specifications},
  year = {2013},
  number = {TCS-TRA-1369,
  INSTITUTION = {Graduate School of Information Science and Technology, Hokkaido University}
}

同构消除DD的引用如下。

@inproceedings{Horiyama2018,
  memo ={Isomorphism Elimination by Zero-Suppressed Binary Decision Diagrams},
  author={Takashi Horiyama and Masahiro Miyasaka and Riku Sasaki},
  booktitle={the Canadian Conference on Computational Geometry},
  pages={360--366},
  address={Winnipeg, Manitoba, Canada}
  year={2018},
  url={http://www.cs.umanitoba.ca/~cccg2018/papers/session7B-p2.pdf}
}

开发

安装

./clean.sh && pip install -e ".[dev]"
pre-commit install

测试

cd xtal_tdzdd/test
cmake -S . -B build
cmake --build build -j 32
cd build && ctest -vv

在本地构建Python wheel

# Linux build
cibuildwheel --platform linux

# MacOS build
cibuildwheel --platform macos

编写自定义规范

1. 在src/spec/*.hpp中编写TdZdd规范
2. 让新的规范类为A，在src/wrapper.cpp中包装以下类和方法
   • tdzdd::DdSpecBase<A, 2>
   • tdzdd::DdSpec<A, T, 2>
   • A
   • tdzdd::DdStructure<2>::zddSubset<A>
3. 在pyzdd/__init__.py中导入_pyzdd.A

参考文献

• https://github.com/kunisura/TdZdd
• https://github.com/junkawahara/frontier_basic_tdzdd