diff --git a/build.gradle b/build.gradle
index 83bdfc79e66e9469c28d08e0bda497f98fc6fe66..f0dcc50d2773d7e38a5e789e275d6bdbc340ca68 100644
--- a/build.gradle
+++ b/build.gradle
@@ -33,7 +33,7 @@ project(':de.prob.core') {
 		}
 	}
 
-	def parser_version = "2.13.0"
+	def parser_version = "2.13.3"
 
 	dependencies {
 		// Note: After changing/updating dependencies or their versions here,
@@ -87,7 +87,7 @@ task downloadCli {
 
 			def targetdir = dir + it.getValue()
 			def targetzip = dir + "probcli_${n}.zip"
-			def url = "https://stups.hhu-hosting.de/downloads/prob/cli/releases/1.13.0/probcli_${n}.zip"
+			def url = "https://stups.hhu-hosting.de/downloads/prob/cli/releases/1.13.1-beta2/probcli_${n}.zip"
 			download(url, targetzip)
 			FileTree zip = zipTree(targetzip)
 			copy {
diff --git a/de.prob.core/.classpath b/de.prob.core/.classpath
index 060b00c947b5f33cee407fc8aef90a35cfff3541..47744048c15785b9ac6a9f24d583de49bd30dc34 100644
--- a/de.prob.core/.classpath
+++ b/de.prob.core/.classpath
@@ -4,12 +4,12 @@
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src"/>
 	<classpathentry kind="output" path="bin"/>
-	<classpathentry exported="true" kind="lib" path="lib/dependencies/answerparser-2.13.0.jar"/>
-	<classpathentry exported="true" kind="lib" path="lib/dependencies/bparser-2.13.0.jar"/>
-	<classpathentry exported="true" kind="lib" path="lib/dependencies/ltlparser-2.13.0.jar"/>
-	<classpathentry exported="true" kind="lib" path="lib/dependencies/parserbase-2.13.0.jar"/>
-	<classpathentry exported="true" kind="lib" path="lib/dependencies/prologlib-2.13.0.jar"/>
-	<classpathentry exported="true" kind="lib" path="lib/dependencies/sablecc-runtime-3.7.0.jar"/>
-	<classpathentry exported="true" kind="lib" path="lib/dependencies/theorymapping-2.13.0.jar"/>
-	<classpathentry exported="true" kind="lib" path="lib/dependencies/unicode-2.13.0.jar"/>
+	<classpathentry exported="true" kind="lib" path="lib/dependencies/answerparser-2.13.3.jar"/>
+	<classpathentry exported="true" kind="lib" path="lib/dependencies/bparser-2.13.3.jar"/>
+	<classpathentry exported="true" kind="lib" path="lib/dependencies/ltlparser-2.13.3.jar"/>
+	<classpathentry exported="true" kind="lib" path="lib/dependencies/parserbase-2.13.3.jar"/>
+	<classpathentry exported="true" kind="lib" path="lib/dependencies/prologlib-2.13.3.jar"/>
+	<classpathentry exported="true" kind="lib" path="lib/dependencies/sablecc-runtime-3.8.0.jar"/>
+	<classpathentry exported="true" kind="lib" path="lib/dependencies/theorymapping-2.13.3.jar"/>
+	<classpathentry exported="true" kind="lib" path="lib/dependencies/unicode-2.13.3.jar"/>
 </classpath>
diff --git a/de.prob.core/META-INF/MANIFEST.MF b/de.prob.core/META-INF/MANIFEST.MF
index 6c3a954541847da1ff619f2e76389adea781ca7e..c6229c4b01e5b5a128ee8379654d9364e7f42a31 100644
--- a/de.prob.core/META-INF/MANIFEST.MF
+++ b/de.prob.core/META-INF/MANIFEST.MF
@@ -76,11 +76,11 @@ Bundle-Activator: de.prob.core.internal.Activator
 Eclipse-BuddyPolicy: registered
 Bundle-RequiredExecutionEnvironment: JavaSE-11
 Bundle-ClassPath: .,
- lib/dependencies/answerparser-2.13.0.jar,
- lib/dependencies/bparser-2.13.0.jar,
- lib/dependencies/ltlparser-2.13.0.jar,
- lib/dependencies/parserbase-2.13.0.jar,
- lib/dependencies/prologlib-2.13.0.jar,
- lib/dependencies/sablecc-runtime-3.7.0.jar,
- lib/dependencies/theorymapping-2.13.0.jar,
- lib/dependencies/unicode-2.13.0.jar
+ lib/dependencies/answerparser-2.13.3.jar,
+ lib/dependencies/bparser-2.13.3.jar,
+ lib/dependencies/ltlparser-2.13.3.jar,
+ lib/dependencies/parserbase-2.13.3.jar,
+ lib/dependencies/prologlib-2.13.3.jar,
+ lib/dependencies/sablecc-runtime-3.8.0.jar,
+ lib/dependencies/theorymapping-2.13.3.jar,
+ lib/dependencies/unicode-2.13.3.jar