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）求解以推导循环不变式（Loop Invariants）》（Synergizing Reinforcement Learning and SMT Solving to Infer Loop Invariants）中实验的全部代码与数据。