diff --git a/gradle/libs.versions.toml b/gradle/libs.versions.toml
index b3d3c1230..bdb10dc57 100644
--- a/gradle/libs.versions.toml
+++ b/gradle/libs.versions.toml
@@ -36,7 +36,7 @@ jung-graphimpl = "net.sf.jung:jung-graph-impl:2.1.1"
 jung-algorithms = "net.sf.jung:jung-algorithms:2.1.1"
 jung-io = "net.sf.jung:jung-io:2.1.1"
 tuprolog-ide = "it.unibo.tuprolog:ide:0.31.11"
-tuprolog-dsl-solve = "it.unibo.tuprolog:dsl-solve:0.31.11"
+tuprolog-dsl-solve = "it.unibo.tuprolog:dsl-solve:0.32.0"
 tuprolog-solve-classic = "it.unibo.tuprolog:solve-classic:0.31.11"
 tuprolog-parser-theory = "it.unibo.tuprolog:parser-theory:0.31.11"
 tuprolog-test-solve = "it.unibo.tuprolog:test-solve:0.31.11"