1回答
在Mac上安装Clingo
macos、installation、clingo
我正在尝试在我的Mac上安装Clingo (macOS Mojave -- 10.14.3)。 我已经下载了最新版本的Clingo (5.3.0)并解压缩了它。/esther/Documents/clingop/clingo ; exit;Reading from stdin 我还下载了homebrew和Xcode。我在终端上尝试了几种方法，但什么也没
浏览 34提问于2019-03-01得票数 2
1回答
将Clingo 4.5与Gringo 3连用
answer-set-programming、clingo、gringo
他们使用clingo，但不要说他们使用的是什么版本。当我从Potassco的sourceforge (4.5.4版)下载最新版本的Clingo时，它会给我带来lexer错误。在Potassco网站上，他们这样说，并通过下载两种版本的Gringo来纠正错误，但他们没有说在使用Clingo运行程序时如何同时引用这两种语言。我下载了Gringo 3.0.0并替换了gringo.exe，但是clingo.exe已经用最新版本的Gringo编译了。
如何下载最新版本的Clingo
浏览 2提问于2016-11-22得票数 0
回答已采纳
1回答
我想使用spack安装各种软件包，并在超级计算机上编译，这台超级计算机对所有意图和目的来说，都不能直接访问互联网。我可以将文件发送到这台机器上，比如spack存储库或包存档，但是从机器上，我不能访问互联网，因此不能只访问spack install。我最初的想法是在目标机器上创建一个spack环境，并使用spack concretize冻结我的依赖关系，然后使用这个具体化环境用spack fetch下载适当的档案，然后将它们发送到机器上进行编译，但是spack需要下载和安装clin
浏览 3提问于2022-01-14得票数 0
回答已采纳
1回答
使用clingo输出作为clingo输入
clingo
我想通过管道将一些clingo调用的输出传递给另一个clingo调用，这样第一个调用的应答集就会被认为是第二个调用的事实。它应该看起来有点像这样：clingo foo.lp | clingo bar.lp，但是clingo foo.lp的输出包含一些额外的行，并且答案集的格式在语法上是无效的。我怎样才能做到这一点呢？
浏览 11提问于2019-12-06得票数 1
回答已采纳
3回答
从java程序内部执行cmd命令
java、windows、cmd、process、runtime
我正在尝试使用以下代码在java程序中执行cmd命令。String command = "clingo F:\\clingo\\food1.lp F:\\clingo\\fooddata.txt" Process p1 = Runtime.getRuntime().exec(command);
这是在</e
浏览 1提问于2017-04-25得票数 0
2回答
用scon在窗户上建造clingo
mingw、scons、clingo
我正试着用短剑来建造克林戈。它抱怨我的编译器集是"gcc-7-win64“我能找到的最新版本。(我尝试了几个旧版本)错误:找不到可用的c++编译器我的第二个问题是:我应该把我手动下载的库放在哪里，比如bison，以便轻松找到？
浏览 4提问于2016-07-13得票数 0
回答已采纳
2回答
将JS程序集导入TypeScript
javascript、typescript、import、webassembly
我正在尝试在我的 React项目中使用TypeScript。我试图为该项目编写自己的d.ts文件：declare module 'wasm-clingo' {}然后像这样进口：但是当我console.log(Module)的时候，上面写着undefined。和是两个示例页面
解决方
浏览 2提问于2018-05-26得票数 1
1回答
优化语句语法的差异(clingo 3和clingo 4)
answer-set-programming、clingo
我在一个逻辑程序中有一个优化语句，用于clingo3：此语法适用于clingo3，但不适用于clingo4。应该如何为clingo4重新编写？
浏览 3提问于2015-05-28得票数 1
回答已采纳
1回答
如何在clingo中创建最优的可序列化计划？
answer-set-programming、clingo
这个场景说，最初块m在表上，块l在块m上，依此类推。块世界场景如下所示：以下是我的代码：如何修改我的代码，以便输入maxstep的数量并获得最小的操作数？
浏览 7提问于2022-02-14得票数 0
1回答
如何在clingo中实现关键约束？
logic、clingo
我现在正在学习prolog，并尝试使用clingo来建模关键约束，但遇到了一些麻烦，希望有人能帮我。的另一个问题是如何在clingo中建立“存在某物”的事实，我想要实现的是使用clingo来判断给定的两组规则是否可以满足，下面是一个例子。第一套规则说：“有一个学生的id是1，名字是mike"：“两个身份证相同的学生应该有相同的名字和年龄”(这是一个关键的限制因素)：因此，我在Clingo中将第一组规则写成：
stu因此，我的解决方案一定有问题(可能是建立存在的方法)，因为
浏览 0提问于2021-04-10得票数 0
回答已采纳
1回答
答案集规划中的负优化结果
optimization、logic-programming、answer-set-programming
最后，我编写了一个带有优化条件的ASP程序。当我编译它时，尽管我得到了正确的结果，但在总结中，我得到了优化的负值(即-3)。你知道为什么会这样吗？number_of_leaves(N) :- #count{X : leaf(X)} = N.
浏览 12提问于2021-12-12得票数 1
回答已采纳
1回答
如何将Mccs/Clingo定义为OPAM求解器而不是aspcud
ocaml、opam
我是一个使用OPAM版本4.05.0的新手，我在安装带有apscud作为求解器的depext包时遇到了一些问题。在OPAM配置文件~/.opam/config中，我添加了一行，因为求解器是未指定的solver: Mccs 我很确定我做错了，因为它从45分钟前就开始尝试安装depext包了。如何将Mccs/Clingo定义为求解器？ 谢谢。
浏览 15提问于2019-12-23得票数 0
3回答
命令行输入和UseShellExecute == true
c#、command-line、cmd
我有一个程序，基本上剩下的就是通过CMD.exe调用命令了。我需要在当前工作目录中打开CMD.exe (我知道我可以直接执行Porcess.Start(CMD.exe))
然后，我需要让程序在cmd.exe中键入一个特定的字符串。同时保留在我当前的工作目录中。因此，我尝试写入cmd.exe的文本是"clingo.exe \"Constants.txt\" \"Solver.txt\" \"Nodes.txt\" > \"Solved.txt\"&
浏览 2提问于2012-11-30得票数 1
1回答
在mac上安装
c、macos、makefile、libevent
在最后一步中，我遵循自述在Mac os上安装libevent，make，如下所示make[3]: Nothing to be done for `install-exec-am
浏览 5提问于2013-08-19得票数 2
回答已采纳
1回答
Spack安装错误
python、linux、hpc、spack
我正试图通过以下教程在HPC上安装Spack：
. share/spack/setup-env.sh > Error: cannot bootstrap the "clingo"
Python module from spe
浏览 14提问于2022-07-28得票数 0
4回答
在Mac上安装MySQLdb
python、mysql、macos、mysql-python
我花了几个小时尝试在Mac Leopard上安装MySQLdb ( Python库)。我正在使用SO中的。
浏览 3提问于2011-04-04得票数 10
回答已采纳
2回答
在mac上安装MySQLdb
python、mysql、mysql-python
我已经在mac上安装了MAMP。所以MAMP中的mysql运行得很好。但是，当我尝试安装mysqldb时，我得到以下错误 File "setup.py", line 15, in <module>
metadata大多数建议是安装mysql等，但mysql不是已经有了。我需要修改某种配置文件吗?如果需要，谁能指出我应该修改哪个配置文件？
浏览 0提问于2012-01-11得票数 3
回答已采纳
1回答
在mac上安装ProStaR
r、installation、bioconductor
我正在尝试使用Rstudio (R版本3.6.3)安装ProStaR和DAPAR包。version specification ‘1,5’Error in Prostar() : could not find function "Prostar" 当尝试单独安装
浏览 28提问于2020-04-15得票数 0
回答已采纳
1回答
在Mac上安装wxPerl
installation、wxwidgets、cpan、cpanm、wxperl
我已经能够在我的Mac上安装wxWidgets并使用wxPython了，但是现在我正在尝试使用Perl，我需要下载wxPerl。我试着安装，但是安装失败了，我不知道哪里出错了，也不知道如何修复它。还值得注意的是，我在cpan和下载.tar文件并从中构建时仍然存在这个问题。
浏览 1提问于2018-05-02得票数 0
1回答
在mac上安装闪亮
macos、r、rstudio、shiny、shiny-server
我正试图在我的MacBook上安装闪亮，并想知道是否有人可以帮助我这样做。谢谢。- AK
浏览 4提问于2013-06-06得票数 0
回答已采纳
云服务器
ICP备案
对象存储
即时通信 IM
实时音视频
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号