皮库德。

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

欢迎加入QQ群-->: 979659372 Python中文网_新手群

推荐PyPI第三方库


热门话题
java如何在jetty请求日志中添加milliscond字段?   java在使用Scanner类从文件读取信息时遇到问题   为什么。类不适用于泛型类型?   SQLite插入上的java空指针异常   java能告诉我们Guava缓存是在禁用统计数据的情况下构建的吗?   java在应用程序中使用常量   java无法使用AutoIT和Selenium Webdriver在所需位置/文件夹保存图像   java如何在jtable中更新jprogress栏   java是比较给定日期和当前日期(在给定时区中没有时间段)的最佳方法   安卓代码中的java错误   java无法访问实体类中的字段   java如何在tomcat中处理三个JDBC连接池?   java无法使用Spring Security保护AngularJS页面   如何在没有TCP/IP协议栈的情况下用Java发送以太帧