皮库德。
pycudd的Python项目详细描述
#:警告:注意:警告:
这是一个正在进行的工作;请不要使用此回购。计划是将pycudd打包到PyPI中,这样您就可以通过pip安装它。在
如何帮助
一旦投稿指南启动,并且大师受到保护,我们就可以开始接受pr。需要注意的主要领域是:
- [ ] Windows support (via Appveyor)
- [ ] OS X support (via Travis)
皮库德
PyCUDD是CUDD BDD操作库的绑定选择。在
目前,它允许Python用户访问大量 简化面向对象的科罗拉多决策图(CUDD)包 态度。PyCUDD隐藏了许多与使用CUDD相关的细节,比如 垃圾回收和管理器引用。在
依赖关系
- cudd 3.0.0+(包含在软件包中)
- swig(PyCUDD已经在ubuntu14.04上用3.0.10版本进行了测试)
对于Ubuntu或Linux Mint,swig可通过apt获得:
apt-get install swig
对于OS X,swig可通过[自制](http://brew.sh/)获得。在
brew install swig
安装
首选的安装方法是通过pip软件包管理器:
pip install pycudd
要从此软件包安装,请按照中的说明进行操作安装.md
- 项目
标签: