跳转到主要内容

基于SMT-LIB2语义的固定大小硬件类型(Bit,BitVector,UInt,SInt等)的Python实现

项目描述

Linux Test

安装

Debian

apt install libgmp-dev libmpfr-dev libmpc-dev
pip install hwtypes

OSX

brew install gmp mpfr libmpc
pip install hwtypes

CentOS

yum install libmpc-devel mpfr-devel gmp-devel
pip install hwtypes

项目详情


下载文件

下载适用于您平台的文件。如果您不确定选择哪个,请了解更多关于安装包的信息。

源分布

hwtypes-1.4.7.tar.gz (30.2 kB 查看哈希值)

上传时间

由以下组织支持