diff --git a/CaDiCaL.vcxproj b/CaDiCaL.vcxproj
index b2f0e018..2aaebd8c 100644
--- a/CaDiCaL.vcxproj
+++ b/CaDiCaL.vcxproj
@@ -54,19 +54,19 @@
   <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|x64'" Label="Configuration">
     <ConfigurationType>Application</ConfigurationType>
     <UseDebugLibraries>true</UseDebugLibraries>
-    <PlatformToolset>v142</PlatformToolset>
+    <PlatformToolset>v143</PlatformToolset>
     <EnableASAN>true</EnableASAN>
   </PropertyGroup>
   <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|x64'" Label="Configuration">
     <ConfigurationType>Application</ConfigurationType>
     <UseDebugLibraries>false</UseDebugLibraries>
-    <PlatformToolset>v142</PlatformToolset>
+    <PlatformToolset>v143</PlatformToolset>
     <WholeProgramOptimization>true</WholeProgramOptimization>
   </PropertyGroup>
   <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Library|x64'" Label="Configuration">
     <ConfigurationType>DynamicLibrary</ConfigurationType>
     <UseDebugLibraries>false</UseDebugLibraries>
-    <PlatformToolset>v142</PlatformToolset>
+    <PlatformToolset>v143</PlatformToolset>
     <WholeProgramOptimization>true</WholeProgramOptimization>
   </PropertyGroup>
   <Import Project="$(VCTargetsPath)\Microsoft.Cpp.props" />
@@ -235,6 +235,7 @@
     <ClCompile Include="src\compact.cpp" />
     <ClCompile Include="src\condition.cpp" />
     <ClCompile Include="src\config.cpp" />
+    <ClCompile Include="src\constrain.cpp" />
     <ClCompile Include="src\contract.cpp" />
     <ClCompile Include="src\cover.cpp" />
     <ClCompile Include="src\decide.cpp" />
@@ -314,6 +315,7 @@
     <ClInclude Include="src\heap.hpp" />
     <ClInclude Include="src\instantiate.hpp" />
     <ClInclude Include="src\internal.hpp" />
+    <ClInclude Include="src\inttypes.hpp" />
     <ClInclude Include="src\ipasir.h" />
     <ClInclude Include="src\level.hpp" />
     <ClInclude Include="src\limit.hpp" />
diff --git a/CaDiCaL.vcxproj.filters b/CaDiCaL.vcxproj.filters
index ba240f1a..bf5379c4 100644
--- a/CaDiCaL.vcxproj.filters
+++ b/CaDiCaL.vcxproj.filters
@@ -237,6 +237,9 @@
     <ClCompile Include="src\shrink.cpp">
       <Filter>Source Files</Filter>
     </ClCompile>
+    <ClCompile Include="src\constrain.cpp">
+      <Filter>Source Files</Filter>
+    </ClCompile>
   </ItemGroup>
   <ItemGroup>
     <ClInclude Include="src\ccadical.h">
@@ -401,5 +404,8 @@
     <ClInclude Include="src\reap.hpp">
       <Filter>Header Files</Filter>
     </ClInclude>
+    <ClInclude Include="src\inttypes.hpp">
+      <Filter>Header Files</Filter>
+    </ClInclude>
   </ItemGroup>
 </Project>
\ No newline at end of file