1回答
我目前正在开始一些关于Cryptol的工作，但对于Cryptol我需要z3。甚至需要Z3才能运行它。我已经从gitHub下载了最新的Z3版本，但我不确定如何安装它/设置它以供cryptol使用。我使用的是Windows10 PC。都会很感谢你的帮助。
浏览 7提问于2021-02-22得票数 0
回答已采纳
1回答
我在Dobb博士关于2008-12-29年的电子邮件报告中看到，有一种新的DSL (特定域语言)用于设计密码系统。它被称为，可从Galois获得。Cryptol并不新鲜，它已经存在很多年了。新的是它的一部分提供给公众，它最初是为美国国家安全局开发和使用的。
和Brian一样，我没有任何真正的理由使用Cryptol。如果我需要(重新)验证我们所拥有的基于SSL
浏览 3提问于2008-12-29得票数 0
回答已采纳
我从源代码编译并安装了这两个cvc4。Cvc4是按建议下载和安装的，Cryptol是从它的git存储库下载的。沙箱和安装完成时没有出错(使用GHC7.8.3 x86_64)。只有在调用cryptol并发出:prove True之后才会发生此问题。这是所有的东西： _ _
___ _ __ _ _
浏览 1提问于2014-11-21得票数 1
回答已采纳
现在我正在更新我的系统，我仍然想使用libdecodeqr 0.9.4，但是我得到了一个编译错误：galois.cpp:400:48: error: taking address of temporaryfunction ‘Galois::Polynomial Galo
浏览 2提问于2012-05-23得票数 0
回答已采纳
我希望能够使用Python类作为元素来进行矩阵运算-在本例中，是一个简单的实现。它实现了必要的__add__、__mul__、__sub__等。起初，我认为使用，使用dtype参数应该可以做到这一点，但在中，dtype似乎不能是任意的Python类。, [0, 0, 1, 0],但是如果我对矩阵进行操作，元素并不遵循我的类的方法],
[0, 0, 0, 2]],
浏览 2提问于2011-04-07得票数 10
回答已采纳
我用python3.8编写了以下代码； GF = galois.GF(2) c=f * g我得到的输出是现在，我只想把清单作为我的答案，也就是说，
d=[1,1,0,1,
浏览 2提问于2022-11-08得票数 1
我试过安装z3定理验证器。我正在使用Ubuntu 16.04。我正在使用Python2.7.12
但是，当我试图通过使用z3从终端中打开python并使用import z3 asz导入时，我发现了一个错误：No Module named z3
python scripts/mk_make.py cd build make sudo make ins
浏览 4提问于2017-09-22得票数 1
回答已采纳
，我正在尝试使用ruby的sort_by来排序一个项目下降和另一个升序。我只能找到一个或另一个。样本数据：
Galois，抽象代数
浏览 2提问于2014-03-01得票数 5
回答已采纳
我尝试从它的存储库安装。当我从文件夹内部运行cabal configure时，我得到：z3 >=4.1.0
我已经使用sudo apt-getinstall z3安装了z3。我在安装z3的path变量中添加了/usr/bin。当我运行z3 -version时，我得到的是Z3
浏览 7提问于2018-06-02得票数 1
我需要为我的硕士论文工作的Z3 SMT解决方案。我已经检查了Z3-SMT的教程，这是基于SMT输入的。但是我只能安装z3-Py，它需要Python的知识。我想知道是否有可能在Mac上使用SMT前端安装z3。如果是的话，你能帮忙吗？
浏览 10提问于2013-11-01得票数 2
回答已采纳
2回答
我试图在我的项目中使用第三方jar (特别是Z3)。第三部分jar不是用mvn构建的，所以我使用以下命令添加它： -DartifactId=z3</artifactId>
<version>1
浏览 0提问于2018-12-15得票数 0
回答已采纳
我跟踪了 for z3将其安装到我的windows机器上。输出显示为Z3 was successfully built.，但当我试图通过运行cabal install z3安装Haskell绑定时，会得到以下错误：* Missing (or bad) C library: z3
但是，我遵循了安装z3的指南，而且它似乎成功了吗？z3
浏览 27提问于2022-08-08得票数 0
1回答
我试图从源代码构建solidity编译器(solc)，源代码是从实心储存库克隆的。我遵循了坚实性文件中的指令，但在执行时遇到了一个错误：cmake .. && make。formal/Z3Interface.cpp.o
/my/path/to/solidity/libsolidity/formal/Z3Interface.cpp: In member function ‘z3CMakeFiles/solidity.dir/al
浏览 0提问于2019-03-25得票数 1
回答已采纳
2回答
我使用galois图书馆，而numpy，我认为它仍然应该稳定工作。我试着用numpy实现我的GF4算法和乘矩阵，但这需要更长的时间。感谢您的回复。当r= 2,3,4,5,6快速乘以时，需要很长的时间。对我来说，这些不是很大的矩阵。这只是一个代码片段。给出了给定r的某一族的矩阵的大小n，k，并将这些参数的矩阵相乘。import numpy as np
浏览 9提问于2022-11-30得票数 0
我正在尝试从Z3的python接口使用它，但我不希望进行系统范围的安装(即sudo make install)。我尝试使用--前缀进行本地安装，但Makefile是硬编码的，无法安装到系统的python目录中。
最好的情况是，我希望直接从构建中直接运行z3，就像我使用z3二进制文件( build /z3)一样。有谁知道如何直接从构建目录运行z3py，而不需要安装<
浏览 3提问于2012-12-06得票数 2
回答已采纳
1回答
我已经将Z3安装在远程服务器上，其中不是Root。在安装过程中，我将前缀更改为我可以写访问的目录，安装进行得很顺利，现在我的主目录中有两个目录--一个用于项目，另一个用于解压缩/构建/安装z3。当我想执行python脚本时，它包括：我收到这个错误：我认为这
浏览 0提问于2019-05-27得票数 0
2回答
我正尝试在python3中运行一个将Z3作为依赖项的程序(导入z3)python scripts/mk_make.pymake有人知道如何在Python3上安装Z3 work吗？
谢谢。
浏览 1提问于2014-02-21得票数 2
1回答
我正在尝试为GF(2^8)中的2个多项式创建一个欧几里德算法(以解决Bezout关系)。0, len(b)): return (polSum) return r1,u1,v1rs
浏览 6提问于2020-12-26得票数 0
1回答
无法调用导入模块的函数
、、、
我正在尝试使用python中的z3模块。我在windows上用pip安装的。然而，当我尝试执行这段代码时我是不是做错了什么？
浏览 0提问于2018-03-21得票数 1
云服务器
ICP备案
对象存储
云点播
实时音视频
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号