文件名称：pyhvl-rpc:用于在Python和高级验证语言（HVL）之间实现远程过程调用的库
文件大小：21KB
文件格式：ZIP
更新时间：2024-04-07 01:10:21
Python
pyhvl-rpc 用于在Python和高级验证语言（HVL）之间实现远程过程调用的库
【文件预览】：
pyhvl-rpc-main
----.pydevproject(509B)
----LICENSE(11KB)
----ve()
--------unit()
----src()
--------endpoint_mgr.py(789B)
--------hvlrpc()
----.project(363B)
----requirements.txt(2B)
----doc()
--------Partitioning.md(1KB)
--------Notes.md(1KB)
--------UsingAPIs.md(583B)
----setup.py(729B)
----.gitignore(24B)
----README.md(120B)