LIPuS experiment data and code

This repos contains all the code and data to reproduce the experiments in ``Synergizing Reinforcement Learning and SMT Solving to Infer Loop Invariants''.本代码仓库包含用于复现论文《协同强化学习（Reinforcement Learning）与SMT求解（SMT Solving）以推导循环不变式（Loop Invariants）》中所有实验的完整代码与数据集。