diff --git a/src/commonMain/kotlin/it/unibo/tuprolog/argumentation/Arg2pLibrary.kt b/src/commonMain/kotlin/it/unibo/tuprolog/argumentation/Arg2pLibrary.kt
index 599f32a8f8..e22a85b5be 100644
--- a/src/commonMain/kotlin/it/unibo/tuprolog/argumentation/Arg2pLibrary.kt
+++ b/src/commonMain/kotlin/it/unibo/tuprolog/argumentation/Arg2pLibrary.kt
@@ -5,5 +5,5 @@ import it.unibo.tuprolog.argumentation.core.Arg2pSolver
 object Arg2pLibrary {
     fun get() = Arg2pSolver.default()
 
-    fun version() = "0.7.0"
+    fun version() = "0.8.4"
 }