回答情况：
提问时间：
问题标签：
我有伪布尔问题，我需要用sat4j来解决它。我的问题是：
我有一个值列表表示：#1，#2，#3.如何用sat4J来解决这个问题？我应该如何表示约束？
浏览 4修改于2017-08-17得票数 0
1回答
我是sat4j库的新手。如何使用sat4j定义隐含(例如(A1 v A2 v A3) => (A1 ∧ A4) )并找到所有变量的布尔值？我已经找到了sat4j的单元测试，但是我尝试了下面的清单中的内容。问题是hasASolution()返回true，但solution变量为空。
浏览 5提问于2017-06-05得票数 0
我是一个全新的sat4j求解器..有没有可能将规则作为输入并获取它是否可满足的方法？department_2 AND physician_2 ) AND )
有没有人能帮我用sat4j
浏览 3修改于2015-07-29得票数 5
回答已采纳
我以前没有使用过SAT求解器，所以我开始学习如何使用SAT4J。大多数情况下，我使用它的API，但我发现有时很难理解一些参数(在类或方法中)意味着什么，或者它们的格式/类型是可接受的。例如：我的问题是，是否有一些使用示例，可以帮助我更多地理解SAT4j中实现的功能？
提前谢谢你！
浏览 7提问于2017-01-16得票数 1
回答已采纳
对于sat4j求解器和布尔可满足问题的研究，我是完全陌生的，我想要编制一个程序来解决布尔公式中的整数变量。因此，公式返回true，用户获得满足formula.Is的整数值，因为我使用java在eclipse中使其在sat4j中成为可能。
浏览 3修改于2015-11-17得票数 1
回答已采纳
我用Sat4J写了一个java程序，它运行得很好。现在我想将它导出为jar文件，但是当我执行它时，它总是说“发生了JNI错误，请检查您的安装并在线程中重试异常"main”java.lang.NoClassDefFoundError: org/sat4j所以我的结构是，我有一个包含4个我编写的类的包和一个包含3个Sat4J类的包。我甚至不知道是因为sat4J还是不同的包导致了这个错误。
有谁知道我能做什么吗？谢谢。
浏览 5提问于2018-02-08得票数 1
java -jar sat4j-sat.jar -remotec SAT4J: a SATisfiability预期：java -jar sat4j-sat.jar -remote有人使用过SAT4J的遥控功能吗？我的方法有什么问题？在另一台计算机(64位Debian 7)上，窗口会打开。创建启动dat
浏览 6修改于2015-07-20得票数 0
我试图使用SAT4J和它的来解决优化问题。找到单一的解决方案很好，但是现在我需要找到所有的最优解(或者，或者，按照最优性顺序迭代所有的解决方案)，而我不知道如何做到这一点。、∅、…顺序排列的所有解
我不太熟悉可满足性解决理论和术语，我只是尝试使用这个库作为一个黑匣子来解决我的问题，这就是在Eclipse应用程序中执行某种依赖解析，类似于Eclipse(P2)使用SAT4J
浏览 7提问于2021-09-13得票数 0
回答已采纳
6 9 -2 1 0 -5 1 0 -3 2 0 -3 -4 0是否可以仅提取中包含变量2、3和4的子句(如SAT4j
浏览 6修改于2017-01-27得票数 0
在我的Java代码中，当我将SATSolver从SAT4J更改为MiniSatJNI或MiniSatProverJNI时：options.solver
浏览 1修改于2016-04-08得票数 0
在SAT4J文档中的代码示例中，在同一个SAT问题上多次调用求解程序总是得到相同的解决方案，即使存在多个可能的解决方案--也就是说，结果是确定性的。
浏览 5修改于2020-07-15得票数 1
我想知道Java解算器API是如何解决其伪布尔问题的。我浏览过javadoc，但我对SAT问题还是个新手。 从发布文档(https://www.researchgate.net/publication/220163278_The_Sat4j_library_release_22)来看，我认为自定义的伪布尔求解器用于所有事情，而不是反之亦然(伪布尔约束转换为SAT CNF)。 有谁有具体的知识吗？
浏览 14提问于2019-04-21得票数 1
回答已采纳
我查看了SAT4J，因为它可以很容易地作为jar文件导入，但是我发现很难实际使用它。有什么方法可以激发SAT4j jar文件来从我的Scala代码中计算我的SAT问题吗？如果SAT4J不是正确的方法，我是否可以直接使用任何SAT库来代替启动外部SAT解决程序？
浏览 4提问于2017-04-01得票数 0
回答已采纳
1回答
然而，我看不到这一点，只有SAT4J。
我在运行最新的合金4.2，刚刚下载的。当我运行它的时候，有一条关于不支持JNI的说明。如果我需要下载一个不同的配置来查看unsat，请告诉我怎么做。This is okay, since you can still use SAT4J as the solver.Warning: Alloy4 defaults to SAT4J since it is pure Java and very reliable.
浏览 2修改于2015-03-26得票数 1
for 10check testWithoutSense for 10
正在执行"Run testWithParameters for 10“Solver=sat4j正在执行"Run testWithoutParameters for 10“Solver=sat4j Bitwidth=0 MaxSeq=0 SkolemDepth=1 Symmetry=20 2602执行"Check test_aset for 10“Solver=sat4j Bitwidth=0
浏览 0提问于2015-08-26得票数 2
出现错误弹出窗口告诉我这一点："org/sat4j/minisat/core/AssertingClauseGenerator java.lang.NoClassDefFoundError“。
浏览 2修改于2012-11-09得票数 1
回答已采纳
world = CompUtil.parseOneModule(String model);Executing "Check testcontroller for 8 but 1 Configuration" Solver=sat4j Bitwi
浏览 2修改于2013-01-27得票数 2
回答已采纳
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号