目录
- ragadd16天前
- GETaST.PYadd python16天前
- README.mdUpdate README.md16天前
- array_1-1.cadd16天前
- array_1-1.smt2add16天前
- base_agent.pyadd python16天前
- base_model.pyadd python16天前
- baselib.pyadd python16天前
- c_inv_checker.pyadd python16天前
- c_program.jsonladd python16天前
- c_program_new.jsonladd python16天前
- c_program_qwen.jsonladd python16天前
- check.pyadd python16天前
- cmd_args.pyadd python16天前
- console.pyadd python16天前
- cos_similiar.pyadd python16天前
- deepseek.pyadd python16天前
- inv_gen.pyadd python16天前
- llm_factory.pyadd python16天前
- model.pyadd python16天前
- openai_model.pyadd python16天前
- qwen.pyadd python16天前
- re_clause_generater.pyadd python16天前
- testAST.pyadd python16天前
- testgpt.pyadd python16天前
- testllm.pyadd python16天前
- testmathbert.pyadd python16天前
- utils.pyadd python16天前
邀请码
版权所有：中国计算机学会技术支持：开源发展技术委员会
京ICP备13000930号-9
京公网安备 11010802032778号
ArrayInvGen
运行命令：
python -u ./check.py -input_code 源程序名称 -input_vcs smt文件 > 输出文件
跑起来缺哪个库装哪个库就行
跑起来缺哪个文件群里说我再传
放了一个示例程序
python -u ./check.py -input_code array_1-1.c -input_vcs array_1-1.smt2