diff --git a/Stackelberg.MetaAction.Compiler.Tests/Stackelberg.MetaAction.Compiler.Tests.csproj b/Stackelberg.MetaAction.Compiler.Tests/Stackelberg.MetaAction.Compiler.Tests.csproj
index e945e2e..f642127 100644
--- a/Stackelberg.MetaAction.Compiler.Tests/Stackelberg.MetaAction.Compiler.Tests.csproj
+++ b/Stackelberg.MetaAction.Compiler.Tests/Stackelberg.MetaAction.Compiler.Tests.csproj
@@ -1,7 +1,7 @@
 <Project Sdk="Microsoft.NET.Sdk">
 
   <PropertyGroup>
-    <TargetFramework>net7.0</TargetFramework>
+    <TargetFramework>net8.0</TargetFramework>
     <ImplicitUsings>enable</ImplicitUsings>
     <Nullable>enable</Nullable>
 
@@ -10,11 +10,14 @@
   </PropertyGroup>
 
   <ItemGroup>
-    <PackageReference Include="Microsoft.NET.Test.Sdk" Version="17.7.1" />
-    <PackageReference Include="MSTest.TestAdapter" Version="2.2.10" />
-    <PackageReference Include="MSTest.TestFramework" Version="2.2.10" />
-    <PackageReference Include="coverlet.collector" Version="3.2.0" />
-    <PackageReference Include="PDDLSharp" Version="1.5.1" />
+    <PackageReference Include="Microsoft.NET.Test.Sdk" Version="17.9.0" />
+    <PackageReference Include="MSTest.TestAdapter" Version="3.2.2" />
+    <PackageReference Include="MSTest.TestFramework" Version="3.2.2" />
+    <PackageReference Include="coverlet.collector" Version="6.0.2">
+      <PrivateAssets>all</PrivateAssets>
+      <IncludeAssets>runtime; build; native; contentfiles; analyzers; buildtransitive</IncludeAssets>
+    </PackageReference>
+    <PackageReference Include="PDDLSharp" Version="1.5.2" />
   </ItemGroup>
 
   <ItemGroup>
diff --git a/Stackelberg.MetaAction.Compiler/Compilers/StaticPredicateDetector.cs b/Stackelberg.MetaAction.Compiler/Compilers/StaticPredicateDetector.cs
index 87ea179..e533066 100644
--- a/Stackelberg.MetaAction.Compiler/Compilers/StaticPredicateDetector.cs
+++ b/Stackelberg.MetaAction.Compiler/Compilers/StaticPredicateDetector.cs
@@ -1,7 +1,7 @@
 using PDDLSharp.Models.PDDL;
 using PDDLSharp.Models.PDDL.Domain;
 using PDDLSharp.Models.PDDL.Problem;
-using PDDLSharp.Translators.StaticPredicateDetectors;
+using PDDLSharp.Translators.Tools;
 
 namespace Stackelberg.MetaAction.Compiler.Compilers
 {
diff --git a/Stackelberg.MetaAction.Compiler/Stackelberg.MetaAction.Compiler.csproj b/Stackelberg.MetaAction.Compiler/Stackelberg.MetaAction.Compiler.csproj
index ad2c8f0..0df1aad 100644
--- a/Stackelberg.MetaAction.Compiler/Stackelberg.MetaAction.Compiler.csproj
+++ b/Stackelberg.MetaAction.Compiler/Stackelberg.MetaAction.Compiler.csproj
@@ -2,7 +2,7 @@
 
   <PropertyGroup>
     <OutputType>Exe</OutputType>
-    <TargetFramework>net7.0</TargetFramework>
+    <TargetFramework>net8.0</TargetFramework>
     <ImplicitUsings>enable</ImplicitUsings>
     <Nullable>enable</Nullable>
 	  <GeneratePackageOnBuild>True</GeneratePackageOnBuild>
@@ -16,7 +16,7 @@
 
 	<PropertyGroup>
 		<PackageLicenseFile>LICENSE.txt</PackageLicenseFile>
-		<Version>1.0.0</Version>
+		<Version>1.0.1</Version>
 	</PropertyGroup>
 
 	<PropertyGroup>
@@ -43,7 +43,7 @@
 
   <ItemGroup>
     <PackageReference Include="CommandLineParser" Version="2.9.1" />
-    <PackageReference Include="PDDLSharp" Version="1.5.1" />
+    <PackageReference Include="PDDLSharp" Version="1.5.2" />
   </ItemGroup>
 
 </Project>