Merge pull request #415 from GrishaVar/patch-1

Fix ivy dependency org name

Author: kfriedberger

doc/Getting-started.md

@@ -22,7 +22,7 @@ which would automatically fetch `JavaSMT` and all of its dependencies.
 After the repository URL is configured, you only need to add the following dependency:
 
 ```xml
-<dependency org="org.sosy_lab" name="java-smt" rev="3.7.0"/>
+<dependency org="org.sosy-lab" name="java-smt" rev="5.0.1"/>
 ```
 
 ### Automatic Installation from Maven Central (possibly outdated)