https://github.com/alexander-nadel/intel_sat_solver
Raw File
Tip revision: 8a99f85649d80d06a6dddd61e1be5d38eac81997 authored by Alexander Nadel on 17 May 2023, 06:42:21 UTC
A major update, described in the SAT'23 paper Solving Huge Instances with Intel(R) SAT Solver
Tip revision: 8a99f85
topor.vcxproj.filters
<?xml version="1.0" encoding="utf-8"?>
<Project ToolsVersion="4.0" xmlns="http://schemas.microsoft.com/developer/msbuild/2003">
  <ItemGroup>
    <Filter Include="Source Files">
      <UniqueIdentifier>{4FC737F1-C7A5-4376-A066-2A32D752A2FF}</UniqueIdentifier>
      <Extensions>cpp;c;cc;cxx;def;odl;idl;hpj;bat;asm;asmx</Extensions>
    </Filter>
    <Filter Include="Header Files">
      <UniqueIdentifier>{93995380-89BD-4b04-88EB-625FBE52EBFB}</UniqueIdentifier>
      <Extensions>h;hh;hpp;hxx;hm;inl;inc;xsd</Extensions>
    </Filter>
    <Filter Include="Resource Files">
      <UniqueIdentifier>{67DA6AB6-F800-4c08-8B7A-83BB121AAD01}</UniqueIdentifier>
      <Extensions>rc;ico;cur;bmp;dlg;rc2;rct;bin;rgs;gif;jpg;jpeg;jpe;resx;tiff;tif;png;wav</Extensions>
    </Filter>
  </ItemGroup>
  <ItemGroup>
    <ClCompile Include="Main.cc">
      <Filter>Source Files</Filter>
    </ClCompile>
    <ClCompile Include="Topi.cc">
      <Filter>Source Files</Filter>
    </ClCompile>
    <ClCompile Include="TopiAsg.cc">
      <Filter>Source Files</Filter>
    </ClCompile>
    <ClCompile Include="TopiBacktrack.cc">
      <Filter>Source Files</Filter>
    </ClCompile>
    <ClCompile Include="TopiBcp.cc">
      <Filter>Source Files</Filter>
    </ClCompile>
    <ClCompile Include="TopiCompression.cc">
      <Filter>Source Files</Filter>
    </ClCompile>
    <ClCompile Include="TopiConflictAnalysis.cc">
      <Filter>Source Files</Filter>
    </ClCompile>
    <ClCompile Include="TopiDebugPrinting.cc">
      <Filter>Source Files</Filter>
    </ClCompile>
    <ClCompile Include="TopiDecision.cc">
      <Filter>Source Files</Filter>
    </ClCompile>
    <ClCompile Include="TopiRestart.cc">
      <Filter>Source Files</Filter>
    </ClCompile>
    <ClCompile Include="TopiWL.cc">
      <Filter>Source Files</Filter>
    </ClCompile>
    <ClCompile Include="Topor.cc">
      <Filter>Source Files</Filter>
    </ClCompile>
  </ItemGroup>
  <ItemGroup>
    <ClInclude Include="BasicMemoryUsage.h">
      <Filter>Header Files</Filter>
    </ClInclude>
    <ClInclude Include="ColorPrint.h">
      <Filter>Header Files</Filter>
    </ClInclude>
    <ClInclude Include="Diamond.h">
      <Filter>Header Files</Filter>
    </ClInclude>
    <ClInclude Include="SetInScope.h">
      <Filter>Header Files</Filter>
    </ClInclude>
    <ClInclude Include="TimeMeasure.h">
      <Filter>Header Files</Filter>
    </ClInclude>
    <ClInclude Include="BitArray.hpp">
      <Filter>Header Files</Filter>
    </ClInclude>
    <ClInclude Include="TableBitInfo.hpp">
      <Filter>Header Files</Filter>
    </ClInclude>
    <ClInclude Include="Topi.hpp">
      <Filter>Header Files</Filter>
    </ClInclude>
    <ClInclude Include="TopiGlobal.hpp">
      <Filter>Header Files</Filter>
    </ClInclude>
    <ClInclude Include="TopiHandleNewUserCls.hpp">
      <Filter>Header Files</Filter>
    </ClInclude>
    <ClInclude Include="TopiParams.hpp">
      <Filter>Header Files</Filter>
    </ClInclude>
    <ClInclude Include="TopiVarScores.hpp">
      <Filter>Header Files</Filter>
    </ClInclude>
    <ClInclude Include="Topor.hpp">
      <Filter>Header Files</Filter>
    </ClInclude>
    <ClInclude Include="ToporDynArray.hpp">
      <Filter>Header Files</Filter>
    </ClInclude>
    <ClInclude Include="ToporExternalTypes.hpp">
      <Filter>Header Files</Filter>
    </ClInclude>
    <ClInclude Include="ToporVector.hpp">
      <Filter>Header Files</Filter>
    </ClInclude>
    <ClInclude Include="ToporWinAverage.hpp">
      <Filter>Header Files</Filter>
    </ClInclude>
  </ItemGroup>
</Project>
back to top