1回答
有没有像Knuth第4卷那样处理二进制决策图(BDDs)和零抑制二进制决策图(ZDDs)的python包？我知道networkx可以干净利落地处理DAG，但我正在寻找一些东西来处理ZDD的内部垃圾保持，从集合族代数(Knuth)构造，从其他类型的决策图构造BDD，也许还有一些原语ZDD和查询(例如采样和计数还有一些其他语言的包：Java和C++。(欢迎对此列表进行扩展编辑。)编辑-
浏览 21提问于2020-04-05得票数 3
2回答
我正在与CUDD ()合作，使用bdd和zdd功能进行模型检查，我想知道如何对zdd进行量化。
对于bdds，有函数bddExistAbstract和bddUnivAbstract (参见)。
浏览 4提问于2020-08-05得票数 4
在Java和Python中，一旦构建了框架，以后的运行就不需要这么长的时间了。我正在使用CLion。我是不是遗漏了什么？我每次运行都会看到下面的消息，大约需要1分钟。谢谢[ 20%] Building CXX object CMakeFiles/adaboost_star_over_zdds.dir/main.cc.o
[ 40%] Linking CXX executable adaboo
浏览 1提问于2019-08-16得票数 0
4回答
有没有一个软件包(最好是应用程序，而不是库)可以从给定的真值表(以某种文本格式)创建简化排序的二进制决策图(ROBDDs)？
浏览 2提问于2013-03-25得票数 4
我有一个带有值的CSV文件，我目前正在制定一个命题公式。 x=6,y=-5,z=4.-5 = 1101 我的公式：现在，我用相同的方法生成一个BDD。如果我希望从图表中理解人类/嵌入式系统，那么1101可以表示为13或-5。任何负数都可以有两个表示。有什么办法能让我做到只有一个吗？
浏览 4提问于2020-12-01得票数 1
回答已采纳
1回答
我正在使用CUDD包以PLA格式生成BDD，该BDD对应于一个输入基准文件。对于一个有3个输入引脚(比方说)和5个输出引脚(比方说)的基准函数，我得到了与5个输出相对应的5个输出BDDS。那么，如何使用CUDD包生成多输出possible?....if呢？请帮帮忙。
浏览 4提问于2019-11-13得票数 2
给定A和B，求解GF(2)上的x应该给出两个解。示例：B(转置)=0 0 0<code>A1</code>
显然，x1和x5可以是0或1，x4可以是
浏览 11提问于2020-03-18得票数 0
1回答
我需要一些在python中使用文件夹结构的帮助。因此，我需要处理一些信息，并使用models模块来存储它们。当试图从其dir直接执行intestion.py时，它会说：No module named 'models'。我不知道我应该如何导入一个模块，位于包的上方，不能触摸结构。
任何帮助都是值得感激的。
浏览 1提问于2020-06-02得票数 1
回答已采纳
1回答
我正在尝试为我的python项目生成包。handlers -file1 -file2 -init.py include_package_data=True,我试图像在父级一样生成称为处理程序的包。包含subfolder1<e
浏览 1提问于2020-03-30得票数 1
正在读取包列表...依赖关系树构建完成
正在读取状态信息...完成建议的包: python3.7-venv python3.7-doc将安装以下新包: python3.7 0升级，1新安装，0删除，4不升级选择之前未选择的包python3.7。(正在读取数据库...当前已安装199040个文件和目录。)正在准备解包.../python3.7_3.7.7-1+bionic1_amd64.deb...解包<em
浏览 1提问于2020-04-20得票数 0
我正在使用Python与Cygwin环境一起开发数据处理脚本和Python包，我希望在更新这些脚本所依赖的包的同时，积极使用这些脚本。我的问题是，管理模块加载路径以隔离和测试我的开发更改，但不影响生产脚本的工作的最佳实践是什么。
主目录。我的当前解决方案是将包安装在本地(而不是/usr/lib/<e
浏览 2提问于2013-05-29得票数 2
例如，假设我们有一个由两个2输入逻辑门组成的简单电路，总共有三个二进制输入信号A、B和C，以及一个二进制输出信号E。E = C || D让我们进一步假设我们希望使用简化排序的二进制判定图(BDDs在BD
浏览 1提问于2019-11-30得票数 1
我正在分发一个相当大的C库；作为发行版的一部分，它是一个Python包装包。构建系统是cmake，make install应该将Python代码复制到Python中的某个位置。根据阅读Python文档，安装的Python模块的默认位置是：但是在基于Debian的系统上，这个路径不是默认的Python路径，而是包含/usr&#x
浏览 5提问于2015-04-12得票数 1
回答已采纳
1回答
我有一个类似服务器的Python程序，它接收数据包，并根据数据包的类型进行处理。为此，我使用multiprocessing模块生成了多个进程。我注意到垃圾收集在操作过程中会造成一些延迟，并且数据包没有在所需的时间范围内处理。我知道如何禁用垃圾收集：gc.disable()
但是，我的问题是，当涉及多个进程或线程时，Python究竟是如何处理垃圾收集的？进程或线程的垃圾收集之间有区别吗？还是父进程/线程中的垃圾收集中的单个
浏览 1提问于2014-04-24得票数 8
回答已采纳
1回答
我正在构建AWS批处理作业。 我有一个内置到一个基于AmazonLinux的对接镜像的python3包。我需要安装boto3，pandas，s3fs和其他一些模块。我已经在Dockerfile文件中设置了命令，以便与python3一起安装模块。 我调用了一个入口脚本，该脚本调用其他src python文件。作为我的批处理作业的输出，我得到了一个错误，没有名为boto3的模块。 我猜问题出在AmazonLinux上，因为它默认使用python2，并且找不
浏览 11提问于2020-04-02得票数 1
rsa3.4.2 py34_0 conda-锻造3.4.2 py36_0 conda-锻造
还是会是个问题？
浏览 2提问于2017-10-17得票数 1
回答已采纳
2回答
我正在尝试在azure batch上执行python脚本，这是一个linux dsvm，这样脚本就可以安装python包，然后执行python脚本。这些包似乎安装在其他位置，并且在尝试导入时，正在尝试从其他位置导入。它给出了错误ImportError:在azure批处理池任务的stderr.txt文件中没有名为pandas的模块。我之所以尝试安装python包并导入相同的脚本，是因为azure批处理命令行不允许我编写两个命令，例如 p
浏览 40提问于2019-04-18得票数 2
2回答
Anaconda是一个强大而流行的工具包，通常与Python开发相关联。它的名字可能是用来提醒Python的，但我觉得它所做的就是处理虚拟环境，预装有用的Python库、工具和包，然后(可能最重要的是)处理依赖关系和安装。从的事实来看，我认为它实际上是可能的，但是我也感觉到Anaconda的所有解决依赖的能力都可能只考虑Python。
...Can这是做了吗？
浏览 0提问于2018-01-22得票数 3
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
云直播活动推荐
腾讯云开发者
