pycoqmut的Python项目详细描述
pycoqmut公司
Coq突变分析工具。你知道吗
安装
首先,安装coq-serapi
库需要^{str1}$。安装说明可以在here找到。你知道吗
一旦安装coq-serapi
,pycoqmut
可通过pip
安装:
pip --user install pycoqmut
pycoqmut
只在python3.8中进行过测试,但在3.7和3.6中也可能很好。你知道吗
用法
从命令行:
^{pr2}$
有关详细信息,请执行pycoqmut --help
。你知道吗
欢迎加入QQ群-->: 979659372
推荐PyPI第三方库