1
<?xml version="1.0" encoding="utf-8"?>
2
<Project DefaultTargets="Build" ToolsVersion="4.0" xmlns="http://schemas.microsoft.com/developer/msbuild/2003">
3
<ItemGroup Label="ProjectConfigurations">
4
<ProjectConfiguration Include="Debug|Win32">
5
<Configuration>Debug</Configuration>
6
<Platform>Win32</Platform>
7
</ProjectConfiguration>
8
<ProjectConfiguration Include="Release|Win32">
9
<Configuration>Release</Configuration>
10
<Platform>Win32</Platform>
11
</ProjectConfiguration>
13
<PropertyGroup Label="Globals">
14
<ProjectGuid>{EE61B7EF-EC45-4165-8B5A-FD5B7D3A909F}</ProjectGuid>
15
<RootNamespace>Fastest_partial_icl_quantifier</RootNamespace>
16
<Keyword>Win32Proj</Keyword>
18
<Import Project="$(VCTargetsPath)\Microsoft.Cpp.Default.props" />
19
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|Win32'" Label="Configuration">
20
<ConfigurationType>Application</ConfigurationType>
21
<CharacterSet>Unicode</CharacterSet>
22
<WholeProgramOptimization>true</WholeProgramOptimization>
24
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'" Label="Configuration">
25
<ConfigurationType>Application</ConfigurationType>
26
<CharacterSet>Unicode</CharacterSet>
28
<Import Project="$(VCTargetsPath)\Microsoft.Cpp.props" />
29
<ImportGroup Label="ExtensionSettings">
31
<ImportGroup Condition="'$(Configuration)|$(Platform)'=='Release|Win32'" Label="PropertySheets">
32
<Import Project="$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props" Condition="exists('$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props')" Label="LocalAppDataPlatform" />
34
<ImportGroup Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'" Label="PropertySheets">
35
<Import Project="$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props" Condition="exists('$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props')" Label="LocalAppDataPlatform" />
37
<PropertyGroup Label="UserMacros" />
39
<_ProjectFileVersion>10.0.30319.1</_ProjectFileVersion>
40
<OutDir Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'">../../../../bin/debug/\</OutDir>
41
<IntDir Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'">../../../../bin/obj/$(ProjectName)/debug/\</IntDir>
42
<LinkIncremental Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'">true</LinkIncremental>
43
<OutDir Condition="'$(Configuration)|$(Platform)'=='Release|Win32'">../../../../bin/release/\</OutDir>
44
<IntDir Condition="'$(Configuration)|$(Platform)'=='Release|Win32'">../../../../bin/obj/$(ProjectName)/release/\</IntDir>
45
<LinkIncremental Condition="'$(Configuration)|$(Platform)'=='Release|Win32'">false</LinkIncremental>
47
<ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'">
49
<AdditionalOptions>/bigobj %(AdditionalOptions)</AdditionalOptions>
50
<Optimization>Disabled</Optimization>
51
<AdditionalIncludeDirectories>../../../../;%(AdditionalIncludeDirectories)</AdditionalIncludeDirectories>
52
<PreprocessorDefinitions>WIN32;_DEBUG;_CONSOLE;%(PreprocessorDefinitions)</PreprocessorDefinitions>
53
<MinimalRebuild>true</MinimalRebuild>
54
<BasicRuntimeChecks>EnableFastChecks</BasicRuntimeChecks>
55
<RuntimeLibrary>MultiThreadedDebugDLL</RuntimeLibrary>
58
<WarningLevel>Level3</WarningLevel>
59
<DebugInformationFormat>EditAndContinue</DebugInformationFormat>
62
<OutputFile>../../../../bin/debug/$(ProjectName).exe</OutputFile>
63
<AdditionalLibraryDirectories>../../../../lib; ../../../../stage/lib;%(AdditionalLibraryDirectories)</AdditionalLibraryDirectories>
64
<GenerateDebugInformation>true</GenerateDebugInformation>
65
<SubSystem>Console</SubSystem>
66
<RandomizedBaseAddress>false</RandomizedBaseAddress>
67
<DataExecutionPrevention>
68
</DataExecutionPrevention>
69
<TargetMachine>MachineX86</TargetMachine>
71
</ItemDefinitionGroup>
72
<ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Release|Win32'">
74
<AdditionalIncludeDirectories>../../../../;%(AdditionalIncludeDirectories)</AdditionalIncludeDirectories>
75
<PreprocessorDefinitions>WIN32;NDEBUG;_CONSOLE;%(PreprocessorDefinitions)</PreprocessorDefinitions>
76
<RuntimeLibrary>MultiThreadedDLL</RuntimeLibrary>
79
<WarningLevel>Level4</WarningLevel>
80
<DebugInformationFormat>ProgramDatabase</DebugInformationFormat>
83
<OutputFile>../../../../bin/release/$(ProjectName).exe</OutputFile>
84
<AdditionalLibraryDirectories>../../../../lib; ../../../../stage/lib;%(AdditionalLibraryDirectories)</AdditionalLibraryDirectories>
85
<GenerateDebugInformation>true</GenerateDebugInformation>
86
<SubSystem>Console</SubSystem>
87
<OptimizeReferences>true</OptimizeReferences>
88
<EnableCOMDATFolding>true</EnableCOMDATFolding>
89
<RandomizedBaseAddress>false</RandomizedBaseAddress>
90
<DataExecutionPrevention>
91
</DataExecutionPrevention>
92
<TargetMachine>MachineX86</TargetMachine>
94
</ItemDefinitionGroup>
96
<ClCompile Include="fastest_partial_icl_quantifier.cpp" />
99
<ClInclude Include="..\test_type_lists.hpp" />
101
<Import Project="$(VCTargetsPath)\Microsoft.Cpp.targets" />
102
<ImportGroup Label="ExtensionTargets">
b'\\ No newline at end of file'