如何根据给定的要素模型设计CNF文件？
[英]How to design the CNF file from a given feature model?
我从给定的特征模型设计CNF （合取范式）文件时遇到问题。 例如，SPL中有一个通用功能模型。 A，B，C和D是4个特征。 B是A的一个强制性的子功能 C和d是A的两个可选的子功能。 如何编写上述约束的CNF文件？ 任何帮助表示赞赏！ 也许CNF文件 ...
是否有任何工具可以实现非 CNF SAT 求解器？
[英]Is there any tool that implements a non-CNF SAT solver?
我需要一个 SAT 求解器，它不仅可以将 CNF 文件作为输入，还可以将包含命题子句（仅用and or和not编写）的普通 txt 文件作为输入。 我找不到任何。 你能指出一个吗？ ...
哪个工具最适合转换 CNF（甚至更好的 DIMACS CNF）中的子句？
[英]Which tool is the best to convert clauses in CNF (or even better DIMACS CNF)?
我使用 C++ 程序自动生成这样的子句： 然后我需要用一些工具（比如 MiniSat）检查它们的可满足性，但在将它们输入到这样的工具中之前，我需要在 DIMACS CNF 中转换它们，你知道任何可以为我自动完成的工具吗？ 谢谢！ 编辑： 非 CNF sat 求解器也可以正常工作！ ...
在Eclipse Common Navigator Framework视图中过滤内容
[英]Filtering contents in Eclipse Common Navigator Framework view
我正在开发一个基于3.x的Eclipse RCP应用程序。 在应用程序部分，我将实现Eclipse本身的Common-navigator插件，以便在工作区中显示资源。 我已经创建了如下所示的导航器视图： 但我只想显示一个树子元素。 更具体地说，我只希望显示clause文件夹及其 ...
我怎样才能在 CNF 中为这个语法转换 PCFG？
[英]How can I convert PCFG in CNF for this grammar?
鉴于以下概率上下文无关语法 - CNF会是什么？？ ...
这个概率文法的 CNF 形式是什么？
[英]what will be CNF form of this probabilistic grammar?
如果 PCFG 是这样的， CNF 形式会是什么？ 会是以下吗？ 还是别的什么？ ...
将查询转换为CNF
[英]Converting a query to CNF
我最近一直在尝试学习逻辑，但是遇到了一个我做不到的查询，而且我不确定自己要去哪里。 将查询转换为CNF时，遇到这种特殊情况怎么办？ 我将如何重新安排它以使其成为CNF形式？ 我做错了什么吗？ 谢谢您的帮助，肖恩 ...
如何使用带有复选框的Common Navigator Framework
[英]How to use the Common Navigator Framework with checkboxes
当我使用Common Navigator Framework时，我找不到如何让它像TreeViewer一样支持复选框。 一开始，我打算使用Check Tree View，但它不能充分利用RCP机制，所以我决定使用Common Navigator Framework .... ...
Python列表索引和返回项目
[英]Python List Indexing and Returning the Item
所以这是一个简单的问题，我似乎很困惑，我一直在研究这个输入问题，并试图将用户输入的某些部分存储到分段列表中。 用户输入将输入CNF（合取正常形式）。 示例：+ =或，* =和，（和）中的任何内容都是子句 （A + B）*（C + d） 因此，由于此输入有两个子句，我需要将每个 ...
解析dimacs CNF文件python
[英]parse dimacs CNF file python
我有一个DIMACS cnf格式的文件，我需要将其操作为SAT求解器的必要格式。 具体来说，我需要得到： 至 谢谢您的帮助！ ...
Microsoft Solver Foundation SAT CNF
[英]Microsoft Solver Foundation SAT CNF
我正在尝试使用Microsoft Solver Foundation SatSolver通过Visual Studio（C＃或VB）解决一个简单的CNF问题。 任何人都可以发布一个简单的示例来说明如何完成此操作吗？ 这是一个简短的示例： 结果应该只有一个值为1的变量，其余的应该为 ...
从Linux终端加载Java类
[英]Java Class Load from Linux Terminal
我想用适当的基准Java类（cnf.files）来加载我的Java类线束（DACAPO基准套件）。 在windows命令“java线束作品精美绝伦，但由于我是新来的Linux，当我尝试加载我的Java类线束我把消息‘未知的基准’。请注意，‘Java的线束-l’显示所有可用的基准这个Java H ...
Eclipse RCP：将操作的目标更改为另一个项目
[英]Eclipse RCP: Change target of an action to another item
我在使用通用导航框架构建的视图中有一棵树。 我有一个自定义项目MyTreeEntry，其中包含IFolder对象。 我希望MyTreeEntry项目的所有菜单项都为IFolder（新建，在新窗口中打开...），并且在调用操作时，它必须对包含的IFolder起作用。 有可能吗？ ...
CNF简化
[英]CNF simplification
鉴于一系列条款，我想首先检查它们是否可以满足。 如果它们是，我想简化它们并创建CNF，例如，（a OR b）^（NOT b）应简化为：a ^（NOT b）。 我只使用命题公式。 我试图使用Java SAT4j库来做到这一点。 它可以告诉我这些条款是否可以满足，但似乎没有任何方法可以让我返 ...
我怎样才能将CNF表达重铸为3-CNF？
[英]How can I recast a CNF expression to 3-CNF?
我有一个像这样的CNF表达式，我想将它改写为3-CNF： 有谁知道我怎么做到这一点？ ...
分割和/或分区大型CNF文件/矩阵
[英]Split and/or partitioning large CNF file / Matrix
简单的问题。 我有一个非常大的CNF文件，其中包含一个mxn矩阵。 可以说> 10000个带有相关术语的变量。 因此，第一步，我想对CNF文件进行分区，甚至更好地将矩阵拆分为100的变量以进行并行求解概念。 有什么说明适用什么规则？ 感谢所有帮助。 问候阿德里安 ...
关于SAT求解器和cnf文件
[英]Regarding SAT Solvers and cnf files
我一直在尝试使用Cryptominisat（类似的事情）对Piccolo进行攻击，Piccolo是一种类似于AES的轻量级分组密码。 方程式是这样的： Z = z1 | z2 | ... | z16,1 <= i <= 16 然后，ui =（1 + z（4i-3）） ...
转换为CNF
[英]Conversion to CNF
这是一项任务。 我必须将语句集转换为CNF并实现它们。 我知道我需要先将前缀表示法中的输入转换为中缀，然后重复应用De Morgans的定律。 但是，在将其转换为中缀表示法后，我不知道如何继续执行。 我是否必须将其转换为中缀或者是否有更好的流程来执行此操作？ 我一直在BD ...
如何在eclipse-rcp应用程序的通用导航器视图中对文件夹结构进行分组？
[英]How to group a folder structure in a common navigator view in an eclipse-rcp application?
我有一个关于eclipse-rcp应用程序中常见导航器视图（程序包浏览器）的文件夹结构的问题。 我的目标是对项目的源文件夹进行分组。 如上图所示，项目“ Sample”的源文件夹是src + main +资源。 我想对该源文件夹进行分组 ，以便只有一行显示文本“ src.main ...