Update README.md

ftsrg · Apr 29, 2022 · ad29d55 · ad29d55
1 parent 41132d6
commit ad29d55
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/subprojects/solver/solver-smtlib-cli/README.md b/subprojects/solver/solver-smtlib-cli/README.md
@@ -15,7 +15,7 @@ For more information about the SMT-LIB compatibility in Theta, take a look at th
 1. First, get the tool.
     * The easiest way is to download a [pre-built release](https://github.com/ftsrg/theta/releases).
     * You can also [build](../../../doc/Build.md) the tool yourself. The runnable jar file will appear under _build/libs/_ with the name _theta-solver-smtlib-cli-\<VERSION\>-all.jar_, you can simply rename it to _theta-solver-smtlib-cli.jar_..
-2. Running the tool requires Java (JRE) 11.
+2. Running the tool requires Java (JRE) 17.
 3. The tool can be executed with `java -jar theta-solver-smtlib-cli.jar [MAIN ARGUMENTS] [COMMAND] [ARGUMENTS]`.
     * If no arguments are given, a help screen is displayed about the arguments and their possible values.
     More information can also be found below.
@@ -79,4 +79,4 @@ Currently, the following solvers are supported.
 * Z3
     * `4.4.0` - `4.6.0`: Supported with interpolation.
     * `4.7.1` - : Supported without interpolation. Interpolation was removed in `4.7.0`.
-* Generic: Any other solver that can communicate with SMT-LIBv2 standard. See section Generic driver for more details.
+* Generic: Any other solver that can communicate with SMT-LIBv2 standard. See section Generic driver for more details.