include new files

sfiruch · Sep 4, 2023 · 149f0db · 149f0db
1 parent 1aa5092
commit 149f0db
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/CaDiCaL.vcxproj b/CaDiCaL.vcxproj
@@ -136,8 +136,10 @@
     <ClCompile Include="src\ema.cpp" />
     <ClCompile Include="src\extend.cpp" />
     <ClCompile Include="src\external.cpp" />
+    <ClCompile Include="src\external_propagate.cpp" />
     <ClCompile Include="src\file.cpp" />
     <ClCompile Include="src\flags.cpp" />
+    <ClCompile Include="src\flip.cpp" />
     <ClCompile Include="src\format.cpp" />
     <ClCompile Include="src\gates.cpp" />
     <ClCompile Include="src\instantiate.cpp" />
@@ -146,6 +148,8 @@
     <ClCompile Include="src\limit.cpp" />
     <ClCompile Include="src\logging.cpp" />
     <ClCompile Include="src\lookahead.cpp" />
+    <ClCompile Include="src\lratbuilder.cpp" />
+    <ClCompile Include="src\lratchecker.cpp" />
     <ClCompile Include="src\lucky.cpp" />
     <ClCompile Include="src\message.cpp" />
     <ClCompile Include="src\minimize.cpp" />
@@ -197,6 +201,7 @@
     <ClInclude Include="src\config.hpp" />
     <ClInclude Include="src\contract.hpp" />
     <ClInclude Include="src\cover.hpp" />
+    <ClInclude Include="src\decompose.hpp" />
     <ClInclude Include="src\elim.hpp" />
     <ClInclude Include="src\ema.hpp" />
     <ClInclude Include="src\external.hpp" />
@@ -211,6 +216,8 @@
     <ClInclude Include="src\level.hpp" />
     <ClInclude Include="src\limit.hpp" />
     <ClInclude Include="src\logging.hpp" />
+    <ClInclude Include="src\lratbuilder.hpp" />
+    <ClInclude Include="src\lratchecker.hpp" />
     <ClInclude Include="src\message.hpp" />
     <ClInclude Include="src\observer.hpp" />
     <ClInclude Include="src\occs.hpp" />