Update solvers in our example projects

[daniel-raffler]

Hello,

this PR updates the version numbers in our Maven example to the JavaSMT 6.0.0-148-gba08f432a release. There is a newer version of JavaSMT in the Maven repository, however, Yices2 is broken on that one, so this is the last version that works

The PR now also updates the web version of the Maven example, and our two Gradle project templates, which have been unmaintained for several years

[baierd]

Nice work! Thank you!

Did you run/test the examples in a fresh checkout?

[daniel-raffler]

Nice work! Thank you!

Thanks!

Did you run/test the examples in a fresh checkout?

Yes, I worked on all of these as separate projects and then simply copied the files back into the JavaSMT folder. So they are tested and should be working. However, it might still be better to wait until we have the CI set up for these example projects before merging anything

[baierd]

@daniel-raffler are there any changes to the behavior of the projects or their tests due to the changes in this PR?

[daniel-raffler]

@daniel-raffler are there any changes to the behavior of the projects or their tests due to the changes in this PR?

No, nothing major. The Gradle and Kotlin were quite outdated and were missing tests for several of the new solvers. I tried to make them more aligned with what we're doing in the Maven project, which was much more up to date, and they're now also using parametrized tests for all the solvers. As a side-effect this means that the test is now always for Sudoku.BooleanBasedSudokuSolver when it used to be Sudoku.IntegerBasedSudokuSolver before for solvers that support integers