Solverpy

* fix: support for looping with development set [View](https://bitbucket.org/projects/test/repos/my-project/commits/5609d20a29688eb2cf412ccf95e061222f795e99)

* fix: support multiple evalution loops [View](https://bitbucket.org/projects/test/repos/my-project/commits/c1bf30195dec657291360d8f761cdd4ec7edc94e)

* chore: prepeare for looping setup [View](https://bitbucket.org/projects/test/repos/my-project/commits/778624dcf68a7b0d8966ce84eb52179d3f4fe931)
* feat: support for merging of trains [View](https://bitbucket.org/projects/test/repos/my-project/commits/c2ae164b87b4a36685b5a6859ca44d20ad55b514)

* build: auto update of git version tags [View](https://bitbucket.org/projects/test/repos/my-project/commits/550c3f14e89d78c3120eb54590c71c819753c543)
* build: update version control [View](https://bitbucket.org/projects/test/repos/my-project/commits/ad9ed7fd79cb07ee8905cc7f6e58b5acece94cba)
* fix: setup for cvc5 model builder [View](https://bitbucket.org/projects/test/repos/my-project/commits/5f101c3b4a80e12ad98a3da9a9b1ab15f935b81d)

* feat: introduce model builders for lgbtune [View](https://bitbucket.org/projects/test/repos/my-project/commits/a40d6a31b44602943f66ddb0800fc83b4c97d6cf)

* feat: add debug-trains option [View](https://bitbucket.org/projects/test/repos/my-project/commits/0b6ee06ddd63599e6a5a2f3a799df34a0d7fdf73)