https://github.com/alexander-nadel/intel_sat_solver
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
A major update, described in the SAT'23 paper Solving Huge Instances with Intel(R) SAT Solver
Tip revision: 8a99f85
topor.sln
Microsoft Visual Studio Solution File, Format Version 12.00
# Visual Studio Version 16
VisualStudioVersion = 16.0.31129.286
MinimumVisualStudioVersion = 10.0.40219.1
Project("{8BC9CEB8-8B4A-11D0-8D11-00A0C91BC942}") = "topor", "topor.vcxproj", "{5D72317F-8E9D-417B-A6CD-329C5DBAAB38}"
EndProject
Global
GlobalSection(SolutionConfigurationPlatforms) = preSolution
Debug|x64 = Debug|x64
Debug|x86 = Debug|x86
Release|x64 = Release|x64
Release|x86 = Release|x86
EndGlobalSection
GlobalSection(ProjectConfigurationPlatforms) = postSolution
{5D72317F-8E9D-417B-A6CD-329C5DBAAB38}.Debug|x64.ActiveCfg = Debug|x64
{5D72317F-8E9D-417B-A6CD-329C5DBAAB38}.Debug|x64.Build.0 = Debug|x64
{5D72317F-8E9D-417B-A6CD-329C5DBAAB38}.Debug|x86.ActiveCfg = Debug|Win32
{5D72317F-8E9D-417B-A6CD-329C5DBAAB38}.Debug|x86.Build.0 = Debug|Win32
{5D72317F-8E9D-417B-A6CD-329C5DBAAB38}.Release|x64.ActiveCfg = Release|x64
{5D72317F-8E9D-417B-A6CD-329C5DBAAB38}.Release|x64.Build.0 = Release|x64
{5D72317F-8E9D-417B-A6CD-329C5DBAAB38}.Release|x86.ActiveCfg = Release|Win32
{5D72317F-8E9D-417B-A6CD-329C5DBAAB38}.Release|x86.Build.0 = Release|Win32
EndGlobalSection
GlobalSection(SolutionProperties) = preSolution
HideSolutionNode = FALSE
EndGlobalSection
GlobalSection(ExtensibilityGlobals) = postSolution
SolutionGuid = {E6E53D79-B8F6-4661-AB06-DE5F5491F090}
EndGlobalSection
EndGlobal
