diff --git a/resources/3rdparty/cudd-2.5.0/CUDD_Win32/CUDD_Win32/CUDD_Win32.vcxproj b/resources/3rdparty/cudd-2.5.0/CUDD_Win32/CUDD_Win32/CUDD_Win32.vcxproj
index b823de3c8..2dcfa5af5 100644
--- a/resources/3rdparty/cudd-2.5.0/CUDD_Win32/CUDD_Win32/CUDD_Win32.vcxproj
+++ b/resources/3rdparty/cudd-2.5.0/CUDD_Win32/CUDD_Win32/CUDD_Win32.vcxproj
@@ -98,6 +98,7 @@
       <WarningLevel>Level3</WarningLevel>
       <Optimization>Disabled</Optimization>
       <PreprocessorDefinitions>WIN32;__STDC__;_CRT_SECURE_NO_WARNINGS;_DEBUG;_LIB;%(PreprocessorDefinitions)</PreprocessorDefinitions>
+      <AdditionalIncludeDirectories>$(ProjectDir)include;%(AdditionalIncludeDirectories)</AdditionalIncludeDirectories>
     </ClCompile>
     <Link>
       <SubSystem>Windows</SubSystem>
@@ -130,6 +131,7 @@
       <FunctionLevelLinking>true</FunctionLevelLinking>
       <IntrinsicFunctions>true</IntrinsicFunctions>
       <PreprocessorDefinitions>WIN32;__STDC__;_CRT_SECURE_NO_WARNINGS;NDEBUG;_LIB;%(PreprocessorDefinitions)</PreprocessorDefinitions>
+      <AdditionalIncludeDirectories>$(ProjectDir)include;%(AdditionalIncludeDirectories)</AdditionalIncludeDirectories>
     </ClCompile>
     <Link>
       <SubSystem>Windows</SubSystem>
@@ -221,7 +223,7 @@
     <ClCompile Include="epd\epd.c" />
     <ClCompile Include="mtr\mtrBasic.c" />
     <ClCompile Include="mtr\mtrGroup.c" />
-    <ClCompile Include="obj\cuddObj.cpp" />
+    <ClCompile Include="obj\cuddObj.cc" />
     <ClCompile Include="st\st.c" />
     <ClCompile Include="util\cpu_stats.c" />
     <ClCompile Include="util\cpu_time.c" />
@@ -250,6 +252,9 @@
     <ClInclude Include="include\st.h" />
     <ClInclude Include="include\util.h" />
   </ItemGroup>
+  <ItemGroup>
+    <None Include="obj\cuddObj.hh" />
+  </ItemGroup>
   <Import Project="$(VCTargetsPath)\Microsoft.Cpp.targets" />
   <ImportGroup Label="ExtensionTargets">
   </ImportGroup>
diff --git a/resources/3rdparty/cudd-2.5.0/CUDD_Win32/CUDD_Win32/CUDD_Win32.vcxproj.filters b/resources/3rdparty/cudd-2.5.0/CUDD_Win32/CUDD_Win32/CUDD_Win32.vcxproj.filters
index b29db4168..543eb3079 100644
--- a/resources/3rdparty/cudd-2.5.0/CUDD_Win32/CUDD_Win32/CUDD_Win32.vcxproj.filters
+++ b/resources/3rdparty/cudd-2.5.0/CUDD_Win32/CUDD_Win32/CUDD_Win32.vcxproj.filters
@@ -276,9 +276,6 @@
     <ClCompile Include="mtr\mtrGroup.c">
       <Filter>Source Files\MTR</Filter>
     </ClCompile>
-    <ClCompile Include="obj\cuddObj.cpp">
-      <Filter>Source Files\OBJ</Filter>
-    </ClCompile>
     <ClCompile Include="util\cpu_stats.c">
       <Filter>Source Files\UTIL</Filter>
     </ClCompile>
@@ -321,6 +318,9 @@
     <ClCompile Include="st\st.c">
       <Filter>Source Files\ST</Filter>
     </ClCompile>
+    <ClCompile Include="obj\cuddObj.cc">
+      <Filter>Source Files\OBJ</Filter>
+    </ClCompile>
   </ItemGroup>
   <ItemGroup>
     <ClInclude Include="include\cudd.h">
@@ -357,4 +357,9 @@
       <Filter>Header Files</Filter>
     </ClInclude>
   </ItemGroup>
+  <ItemGroup>
+    <None Include="obj\cuddObj.hh">
+      <Filter>Header Files</Filter>
+    </None>
+  </ItemGroup>
 </Project>
\ No newline at end of file
diff --git a/resources/3rdparty/cudd-2.5.0/CUDD_Win32/x64/Debug/CUDD_Win32.lib b/resources/3rdparty/cudd-2.5.0/CUDD_Win32/x64/Debug/CUDD_Win32.lib
new file mode 100644
index 000000000..18843b5d6
Binary files /dev/null and b/resources/3rdparty/cudd-2.5.0/CUDD_Win32/x64/Debug/CUDD_Win32.lib differ
diff --git a/resources/3rdparty/cudd-2.5.0/CUDD_Win32/x64/Release/CUDD_Win32.lib b/resources/3rdparty/cudd-2.5.0/CUDD_Win32/x64/Release/CUDD_Win32.lib
new file mode 100644
index 000000000..eb723350d
Binary files /dev/null and b/resources/3rdparty/cudd-2.5.0/CUDD_Win32/x64/Release/CUDD_Win32.lib differ