程序员经验分享-hwhale

Windows 的二元决策图库

2024-01-09

尝试获得后jinc http://www.jossowski.de/projects/jinc/jinc.html在 Windows 下编译并很快遇到数百个编译器错误 我正在寻找将为 Windows 构建的高质量 BDD 库。最好是 C 或 C++，但只要我能绑定到它，我就很高兴。


我最近在 Windows / Visual Studio 环境中安装 CUDD v2.4.2。

那里有文档，但在我看来，它们都没有给出如何安装该东西并使其在非 Unix 环境中工作的完整图片。例如，如何解决 Makefile 的问题、如何链接到项目中的 *.a C 归档文件、cpu_stats.c 文件的小问题等。这很遗憾，因为 CUDD 似乎非常强大降低许多问题复杂性的方法，例如整数规划。

我最近成功地在 VS 2010 中实现了它。我的博客详细信息here http://technical-recipes.com/?p=329.

本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)

datastructures

binarydecisiondiagram

Windows 的二元决策图库 的相关文章

  • 比较周期性数据的快速方法

    假设我有任意类型的数据集 A B C D 并且我想将其与另一个数据集进行比较 我希望 A B C D B C D A C D A B 和 D A B C 的比较成立 但是不适用于 A C B D 或任何其他未类似排序的集合 有什么快速方法可

  • 相当于一个允许重复键的排序字典

    我需要一个数据结构 可以通过与对象关联的浮动键对对象进行排序 从低到低的在前 问题是键代表成本 所以经常有重复 我不关心这一点 因为如果两个具有相同的成本 我只会抓住第一个 因为它没有区别 问题是编译器抱怨 是否有一种数据结构的行为方式相同

  • 使用 NSMutableDictionary 与 NSMutableArray 造成的性能损失>

    我正在考虑使用 NSMutableDictionary 代替我当前的 NSMutableArray 这主要是出于 KVC KVO 的原因 该集合将在我的绘图方法的内循环中经历严重的变化 如果我继续进行此替换 性能是否会受到重大影响 干杯 道

  • 比较 C# 中 DateTime 的二进制表示形式

    我有一个DateTime表示为长 8 个字节 来自DateTime ToBinary 我们称之为dateTimeBin 是否有一种最佳方法可以删除时间信息 我只关心日期 以便我可以将其与一天的开始进行比较 假设我们将此样本值作为一天的开始

  • 将非平凡函数应用于 data.table 的有序子集

    Problem 我正在尝试使用我新发现的 data table 功能 永久 来计算一堆数据的频率内容 如下所示 Sample Channel Trial Voltage Class Subject 1 1 1 196 82253 1 1 1

  • 初始化 HashMap 的最佳方法

    我通常会这样做 HashMap

  • 如何从数组表示构建不完全二叉树

    如果输入是一个数组 其中null表示没有节点 input 1 2 3 null 5 null 7 请假设我已经检查过输入 对于每个array i 它的父母array i 2 不会是null 递归地 所以根不能是null 如何构建具有这样的逻

  • 用惯用的 Scala 更新大型数据结构

    我已经尝试 Scala 一段时间了 并且经常遇到支持不可变数据结构的建议 但是当你有一个像这样的数据结构时3D 场景图 大型神经网络或任何具有大量需要频繁更新的对象的东西 对场景中的对象进行动画处理 训练神经网络 这似乎是 运行时效率极低

  • 从日志文件中获取前 100 个 URL

    我的一位朋友在接受采访时被问到以下问题 谁能告诉我如何解决它 我们有一个相当大的日志文件 大约 5GB 日志文件的每一行都包含一个用户在我们网站上访问过的 URL 我们想要找出用户访问最多的 100 个 URL 怎么做 如果我们有超过 10

  • 子序列和

    给定一个整数数组 例如 1 2 3 1 查找是否存在总和为0并返回它 例如 1 2 3 or 2 3 1 检查每个子序列是O n 2 这效率太低了 有改进的想法吗 创建一个新数组 其中每个元素等于前一个元素加上该元素的总和 Input 1

  • 为什么 Nil 会增加一个枚举大小而不增加另一个枚举大小？ Rust 枚举的内存是如何分配的？

    如果我定义以下枚举 Nil 不会增加枚举的大小 use std mem size of enum Foo Cons char enum Bar Cons char Nil println size of

  • 公式的后序遍历

    在数据结构中 我将按顺序转换和预排序公式转换为树 不过 我不太擅长后期订购 对于给定的公式x y z a b c 我想出了 divide x c y z a b 在大多数情况下 这似乎很合适 除了左子树中的 是牌组中的小丑 在后序遍历中 最

  • 应用对数来导航树

    我曾经知道一种使用对数从树的一片叶子移动到树的下一个 有序 叶子的方法 我认为它涉及获取 当前 叶子的位置值 排名 并将其用作从根向下到新目标叶子的新遍历的种子 一直使用对数函数测试来确定是否沿着右或左节点向下到达叶子 我已经不记得如何运用

  • C++ 映射插入和查找性能和存储开销

    我想存储一个映射integer的关键float内存中的值 我大约有 1 3 亿个键 相应地 也有 1 3 亿个值 我的重点是查找性能 我必须进行数百万次查找 C STL 库有一个map此类关联数组的类 我有几个问题map 存储开销是多少ma

  • Python OO程序结构规划

    我是 OOP 的初学者 我想创建一个包含三个类 A B 和 C 的程序 该类的每个实例都由一组特征 Achar1 Achar2 等定义 该程序应该创建uses由 A 元素 B 元素和 C 元素以及开始日期和结束日期组成 A 和 B 都有子类

  • Python - 在大型数据集上计算多项概率密度函数？

    我原本打算使用 MATLAB 来解决这个问题 但内置函数有局限性 不适合我的目标 NumPy 中也存在同样的限制 我有两个制表符分隔的文件 第一个是显示内部蛋白质结构数据库的氨基酸残基 频率和计数的文件 即 A 0 25 1 S 0 25

  • 计算机如何评估巨大的数字？

    例如 如果我输入一个值 1234567 98787878 Wolfram Alpha 可以为我提供许多细节 这包括小数近似 总长度 最后一位数字等等 您如何评估如此大的数字 据我了解 编程语言必须具有特殊的数据类型才能存储数字 更不用说将其

  • 将结构体数组传递给函数 C++

    抱歉这个菜鸟问题我只是有点困惑 如果我在 main 中有一个结构数组 我想将其传递给函数 struct MyStruct int a int b char c mayarray 5 MyStruct StructArray 10 myFun

  • Java 中类似 HashMap 的可排序数据结构？

    Java 中是否有某种类似于 HashMap 的数据结构 可以按键或值排序 在 PHP 中 您可以拥有可排序的关联数组 Java中有这样的东西吗 HashMaps 几乎按照定义是未排序的 一个好的哈希函数会产生看似随机的密钥分布 如果你想使

  • 我可以使用什么数据结构来查找给定姓名的人的电话号码？

    我可以使用什么数据结构来查找给定姓名的人的电话号码 假设您只会使用人名进行查询 那么最好的选择是使用关联数据结构 这基本上是一种数据结构 通常实现为哈希表或平衡二叉搜索树 将数据存储为键 gt 值 或者 换句话说 作为 键 值 对 您使用键

随机推荐

  • 如何使用 CSS 模块在 React 中设置子组件的样式

    我正在将 React 与 SASS 和 CSS 模块结合使用 如何在不传递新的 ClassName 或类似名称的情况下设置子组件的样式 对于前 我想在子组件上定位或执行一些样式 而不必给出特定的类 就像您所做的那样p span例如 所有跨度

  • 如何将 epub 文件下载到本地 iPhone 上？

    我想通过传递文件的 url 将 epub 文件下载到本地应用程序中 http www jedisaber com eBooks books sample epub http www jedisaber com eBooks books sa

  • 从 AsyncTask 检索对象值

    我正在创建异步任务 检索字符串数据 View OnClickListener btnClk new View OnClickListener Override public void onClick View v if btnGetData

  • 创建大于 23k x 23k 的巨大高分辨率位图

    我想创建一个巨大的分辨率位图图像 以便将其加载到内存中并根据用户手势进行转换 我注意到限制为new Bitmap int32 int32 大约是 23000 但我需要 1159480 x 45920 位深度为 32 有人可以帮助我吗 或者这

  • 如何在 tkinter 中取消选择 ttk.Treeview 中的行

    一旦我点击进入ttk Treeview 并选择一行 我可以单击另一行 但我无法UNSELECT所有行中 始终至少会选择 1 行 有没有一种聪明的方法可以取消选择最后选定的行 更改我使用的变量名称treeview ttk Treeview 并

  • Docker API 无法应用 json 过滤器

    根据https docs docker com engine reference api docker remote api v1 24 list tasks https docs docker com engine reference a

  • Rails 5.1 API - 如何允许嵌套 JSON 对象属性的参数

    关于这个主题至少有 10 个问题 但没有一个问题能回答这个特定问题 许多问题都与 Rails 表单相关 例如this https stackoverflow com questions 32529757 how can i get stro

  • 我只需要“身份网址”吗？ - 开放ID

    我只是想知道我是否需要的只是身份 url 以便理论上将 OpenID 帐户附加到用户的帐户 我的身份网址如下所示 https www google com accounts o8 id id YGnyuGHMUmhUI98nuhUMhu98

  • 如何使用 Yarn v3 安装本地包？

    我尝试使用 Yarn v3 安装本地包 结果撞到了墙上 这是我尝试过的所有事情 Run yarn add file hardhat packager Run yarn add hardhat packager 手动添加 hardhat pa

  • 为什么 constexpr 上下文会使编译器失败，而它却无法完美优化？

    我玩过constexpr并实现了一些有趣的行为 在某些情况下添加constexpr在函数前面启用GCC尝试更加努力地优化 这会导致完全优化函数并仅提供计算值 然而 从一个调用这样一个完全优化的函数constexprcontext 会导致错误

  • 如何在 iOS Swift 中获取应用程序的 CFBundleURLSchemes

    我制作了一个演示项目 App1 其中添加了一个按钮 该按钮会将我重定向到已安装的应用程序 假设 App2 fitbit 我已经阅读了很多教程 并且基本上通过第二个答案了解了如何做到这一点 此应用程序不允许查询方案 cydia IOS9 错误

  • 在 ng-repeat 之后执行 jQuery 函数

    在此先感谢您的帮助 我正在用这个标签管理器 http welldonethings com tags manager在我的网络应用程序中 jQuery 函数在此之前工作正常

  • 具有多个模板参数包的部分模板专业化

    继续我的可变参数模板世界之旅 https stackoverflow com q 4691657 20984 我又遇到了一个问题 假设有以下模板类 template lt typename T gt struct foo default i

  • sqoop导入多个表

    我们正在使用 Cloudera CDH 4 并且能够按预期将表从 Oracle 数据库导入到我们的 HDFS 仓库中 问题是我们的数据库中有数十万张表 而 sqoop 一次只支持导入一张表 有哪些选项可用于将多个表导入 HDFS 或 Hiv

  • 覆盖 以切换 VS CODE 上的菜单栏

    我想要实现的目标如下 Disable ALT显示菜单栏toggle menu bar完全地 gt 潜在的地图ALT to a NULL action 使用不同的快捷方式toggle menu bar 有办法实现这一点吗 在 Ubuntu 上

  • 页面加载时的随机 Div 顺序 [重复]

    这个问题在这里已经有答案了 我有一堆 ID 为 gallerycard 的 div 我需要它们在用户每次访问页面时以随机顺序加载 div div Akulina div div N A div div div div Martina div

  • 如何处理 Doctrine2 SELECT 查询中 DateTime 类型的默认值？

    我有以下 Doctrine2 实体

  • Angular - 在模块定义中使用动态变量

    我有一个模块 带有 NgModule 我需要导入一个模块 MqttModule forRoot environment MQTT SERVICE OPTIONS 问题是我不想从环境中获取值 而是从配置文件中获取值 我创建了一个从配置文件加载

  • 文本过滤器对两个字符串，但排除一些可能性

    我需要对字符串应用文本过滤Mod 其次是特定的一个字符 e g H 喜欢 Mod h Mod xxx H Module x H Mod H Model xx H 等等 But 结果中包含一些不需要的单元格 因为它包含字符串 Moderate

  • Windows 的二元决策图库

    尝试获得后jinc http www jossowski de projects jinc jinc html在 Windows 下编译并很快遇到数百个编译器错误 我正在寻找将为 Windows 构建的高质量 BDD 库 最好是 C 或 C

热门标签