* feat: support cvc5 as an atp/tptp solver [View](https://bitbucket.org/projects/test/repos/my-project/commits/42d6b47f35d79d4de07c90c5d879f5df34b09e6e)
1.3.5
* fix: set OMP_NUM_THREADS=1 for shell solvers [View](https://bitbucket.org/projects/test/repos/my-project/commits/41e8ffa159007451dd3f4baec411ca5d3f198afc)
1.3.4
* fix: skip merging train in the last loop [View](https://bitbucket.org/projects/test/repos/my-project/commits/a0113680b45662f02f9be407b190447cd251384f)
1.3.3
* fix: skip building model in the last loop [View](https://bitbucket.org/projects/test/repos/my-project/commits/1a488524b7c175438690b249926fc0e4f4ecb95b)