跳转到主要内容
切换到移动版
警告
某些功能可能在没有JavaScript的情况下无法工作。如果在遇到问题时，请尝试启用它。
搜索PyPI
搜索
帮助
赞助商
登录
注册
菜单
帮助
赞助商
登录
注册
搜索PyPI
搜索
Caleb Donovick
用户名
donovick
加入日期
加入于
2019年4月26日
1个项目
hwtypes
上次发布
2022年10月14日
基于SMT-LIB2语法的固定大小硬件类型（Bit、BitVector、UInt、SInt等）的Python实现
英语
西班牙语
法语
日语
葡萄牙语（巴西）
乌克兰语
希腊语
德语
中文（简体）
中文（繁体）
俄语
希伯来语
世界语
由以下提供支持
