diff --git a/build.gradle.kts b/build.gradle.kts
index c77473af8855751d7a08b83f22655845a59adae6..62986e24e7716e304abc6897c1990db551f2d0a8 100644
--- a/build.gradle.kts
+++ b/build.gradle.kts
@@ -31,7 +31,8 @@ dependencies {
     // https://mvnrepository.com/artifact/org.junit.jupiter/junit-jupiter-api
     testImplementation("org.junit.jupiter", "junit-jupiter-engine", "5.10.2")
 
-    implementation("de.hhu.stups:de.prob2.kernel:4.12.1")
+    implementation(platform("de.hhu.stups:prob-java-bom:4.13.0"))
+    implementation("de.hhu.stups", "de.prob2.kernel")
 }
 
 java {