Bump minimum Java version to 17 #46
Description
Now that JavaSMT will require Java 17, there is nothing that stops this project from requiring Java 17 as well and making use of such nice features.
{{ message }}
Now that JavaSMT will require Java 17, there is nothing that stops this project from requiring Java 17 as well and making use of such nice features.