<?xml version="1.0" encoding="utf-8"?>
<Project ToolsVersion="4.0" DefaultTargets="Build" xmlns="http://schemas.microsoft.com/developer/msbuild/2003">
  <PropertyGroup>
    <Configuration Condition=" '$(Configuration)' == '' ">Debug</Configuration>
    <Platform Condition=" '$(Platform)' == '' ">AnyCPU</Platform>
    <ProductVersion>8.0.30703</ProductVersion>
    <SchemaVersion>2.0</SchemaVersion>
    <ProjectGuid>{EC3DB697-B734-42F7-9468-5B62821EEB5A}</ProjectGuid>
    <OutputType>Library</OutputType>
    <AppDesignerFolder>Properties</AppDesignerFolder>
    <RootNamespace>Microsoft.Z3</RootNamespace>
    <AssemblyName>Microsoft.Z3</AssemblyName>
    <TargetFrameworkVersion>v3.5</TargetFrameworkVersion>
    <FileAlignment>512</FileAlignment>
    <TargetFrameworkProfile>
    </TargetFrameworkProfile>
    <CodeContractsAssemblyMode>0</CodeContractsAssemblyMode>
  </PropertyGroup>
  <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
    <DebugSymbols>true</DebugSymbols>
    <DebugType>full</DebugType>
    <Optimize>false</Optimize>
    <OutputPath>Debug\</OutputPath>
    <DefineConstants>TRACE;DEBUG;FRAMEWORK_LT_4</DefineConstants>
    <ErrorReport>prompt</ErrorReport>
    <WarningLevel>4</WarningLevel>
    <AllowUnsafeBlocks>true</AllowUnsafeBlocks>
    <DocumentationFile>Debug\Microsoft.Z3.XML</DocumentationFile>
    <CodeContractsEnableRuntimeChecking>False</CodeContractsEnableRuntimeChecking>
    <CodeContractsRuntimeOnlyPublicSurface>False</CodeContractsRuntimeOnlyPublicSurface>
    <CodeContractsRuntimeThrowOnFailure>True</CodeContractsRuntimeThrowOnFailure>
    <CodeContractsRuntimeCallSiteRequires>False</CodeContractsRuntimeCallSiteRequires>
    <CodeContractsRuntimeSkipQuantifiers>False</CodeContractsRuntimeSkipQuantifiers>
    <CodeContractsRunCodeAnalysis>True</CodeContractsRunCodeAnalysis>
    <CodeContractsNonNullObligations>False</CodeContractsNonNullObligations>
    <CodeContractsBoundsObligations>True</CodeContractsBoundsObligations>
    <CodeContractsArithmeticObligations>True</CodeContractsArithmeticObligations>
    <CodeContractsEnumObligations>False</CodeContractsEnumObligations>
    <CodeContractsPointerObligations>False</CodeContractsPointerObligations>
    <CodeContractsRedundantAssumptions>False</CodeContractsRedundantAssumptions>
    <CodeContractsInferRequires>True</CodeContractsInferRequires>
    <CodeContractsInferEnsures>False</CodeContractsInferEnsures>
    <CodeContractsInferObjectInvariants>False</CodeContractsInferObjectInvariants>
    <CodeContractsSuggestAssumptions>False</CodeContractsSuggestAssumptions>
    <CodeContractsSuggestRequires>True</CodeContractsSuggestRequires>
    <CodeContractsSuggestEnsures>False</CodeContractsSuggestEnsures>
    <CodeContractsSuggestObjectInvariants>False</CodeContractsSuggestObjectInvariants>
    <CodeContractsDisjunctiveRequires>True</CodeContractsDisjunctiveRequires>
    <CodeContractsRunInBackground>True</CodeContractsRunInBackground>
    <CodeContractsShowSquigglies>True</CodeContractsShowSquigglies>
    <CodeContractsUseBaseLine>False</CodeContractsUseBaseLine>
    <CodeContractsEmitXMLDocs>False</CodeContractsEmitXMLDocs>
    <CodeContractsCustomRewriterAssembly />
    <CodeContractsCustomRewriterClass />
    <CodeContractsLibPaths />
    <CodeContractsExtraRewriteOptions />
    <CodeContractsExtraAnalysisOptions />
    <CodeContractsBaseLineFile />
    <CodeContractsCacheAnalysisResults>True</CodeContractsCacheAnalysisResults>
    <CodeContractsRuntimeCheckingLevel>Full</CodeContractsRuntimeCheckingLevel>
    <CodeContractsReferenceAssembly>%28none%29</CodeContractsReferenceAssembly>
    <CodeContractsAnalysisWarningLevel>2</CodeContractsAnalysisWarningLevel>
  </PropertyGroup>
  <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Release|AnyCPU' ">
    <DebugType>pdbonly</DebugType>
    <Optimize>true</Optimize>
    <OutputPath>Release\</OutputPath>
    <DefineConstants>FRAMEWORK_LT_4</DefineConstants>
    <ErrorReport>prompt</ErrorReport>
    <WarningLevel>4</WarningLevel>
    <AllowUnsafeBlocks>true</AllowUnsafeBlocks>
    <DocumentationFile>Release\Microsoft.Z3.xml</DocumentationFile>
    <PlatformTarget>x86</PlatformTarget>
  </PropertyGroup>
  <PropertyGroup>
    <SignAssembly>true</SignAssembly>
  </PropertyGroup>
  <PropertyGroup>
    <AssemblyOriginatorKeyFile>
    </AssemblyOriginatorKeyFile>
  </PropertyGroup>
  <PropertyGroup>
    <DelaySign>false</DelaySign>
  </PropertyGroup>
  <PropertyGroup Condition="'$(Configuration)|$(Platform)' == 'Debug|x64'">
    <DebugSymbols>true</DebugSymbols>
    <OutputPath>bin\x64\Debug\</OutputPath>
    <DefineConstants>TRACE;DEBUG;FRAMEWORK_LT_4</DefineConstants>
    <AllowUnsafeBlocks>true</AllowUnsafeBlocks>
    <DocumentationFile>Debug\Microsoft.Z3.XML</DocumentationFile>
    <DebugType>full</DebugType>
    <PlatformTarget>x64</PlatformTarget>
    <ErrorReport>prompt</ErrorReport>
    <CodeAnalysisRuleSet>MinimumRecommendedRules.ruleset</CodeAnalysisRuleSet>
  </PropertyGroup>
  <PropertyGroup Condition="'$(Configuration)|$(Platform)' == 'Release|x64'">
    <OutputPath>bin\x64\Release\</OutputPath>
    <DefineConstants>FRAMEWORK_LT_4</DefineConstants>
    <AllowUnsafeBlocks>true</AllowUnsafeBlocks>
    <DocumentationFile>Release\Microsoft.Z3.xml</DocumentationFile>
    <Optimize>true</Optimize>
    <DebugType>pdbonly</DebugType>
    <PlatformTarget>x64</PlatformTarget>
    <ErrorReport>prompt</ErrorReport>
    <CodeAnalysisRuleSet>MinimumRecommendedRules.ruleset</CodeAnalysisRuleSet>
  </PropertyGroup>
  <ItemGroup>
    <Reference Include="Microsoft.Contracts, Version=1.0.0.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">
      <HintPath>packages\Code.Contract.1.0.0\lib\net35\Microsoft.Contracts.dll</HintPath>
      <Private>True</Private>
    </Reference>
    <Reference Include="System" />
    <Reference Include="System.Core" />
  </ItemGroup>
  <ItemGroup>
    <Compile Include="..\AlgebraicNum.cs">
      <Link>AlgebraicNum.cs</Link>
    </Compile>
    <Compile Include="..\ApplyResult.cs">
      <Link>ApplyResult.cs</Link>
    </Compile>
    <Compile Include="..\ArithExpr.cs">
      <Link>ArithExpr.cs</Link>
    </Compile>
    <Compile Include="..\ArithSort.cs">
      <Link>ArithSort.cs</Link>
    </Compile>
    <Compile Include="..\ArrayExpr.cs">
      <Link>ArrayExpr.cs</Link>
    </Compile>
    <Compile Include="..\ArraySort.cs">
      <Link>ArraySort.cs</Link>
    </Compile>
    <Compile Include="..\AST.cs">
      <Link>AST.cs</Link>
    </Compile>
    <Compile Include="..\ASTMap.cs">
      <Link>ASTMap.cs</Link>
    </Compile>
    <Compile Include="..\ASTVector.cs">
      <Link>ASTVector.cs</Link>
    </Compile>
    <Compile Include="..\BitVecExpr.cs">
      <Link>BitVecExpr.cs</Link>
    </Compile>
    <Compile Include="..\BitVecNum.cs">
      <Link>BitVecNum.cs</Link>
    </Compile>
    <Compile Include="..\BitVecSort.cs">
      <Link>BitVecSort.cs</Link>
    </Compile>
    <Compile Include="..\BoolExpr.cs">
      <Link>BoolExpr.cs</Link>
    </Compile>
    <Compile Include="..\BoolSort.cs">
      <Link>BoolSort.cs</Link>
    </Compile>
    <Compile Include="..\Constructor.cs">
      <Link>Constructor.cs</Link>
    </Compile>
    <Compile Include="..\ConstructorList.cs">
      <Link>ConstructorList.cs</Link>
    </Compile>
    <Compile Include="..\Context.cs">
      <Link>Context.cs</Link>
    </Compile>
    <Compile Include="..\DatatypeExpr.cs">
      <Link>DatatypeExpr.cs</Link>
    </Compile>
    <Compile Include="..\DatatypeSort.cs">
      <Link>DatatypeSort.cs</Link>
    </Compile>
    <Compile Include="..\Deprecated.cs">
      <Link>Deprecated.cs</Link>
    </Compile>
    <Compile Include="..\Enumerations.cs">
      <Link>Enumerations.cs</Link>
    </Compile>
    <Compile Include="..\EnumSort.cs">
      <Link>EnumSort.cs</Link>
    </Compile>
    <Compile Include="..\Expr.cs">
      <Link>Expr.cs</Link>
    </Compile>
    <Compile Include="..\FiniteDomainExpr.cs">
      <Link>FiniteDomainExpr.cs</Link>
    </Compile>
    <Compile Include="..\FiniteDomainNum.cs">
      <Link>FiniteDomainNum.cs</Link>
    </Compile>
    <Compile Include="..\FiniteDomainSort.cs">
      <Link>FiniteDomainSort.cs</Link>
    </Compile>
    <Compile Include="..\Fixedpoint.cs">
      <Link>Fixedpoint.cs</Link>
    </Compile>
    <Compile Include="..\FPExpr.cs">
      <Link>FPExpr.cs</Link>
    </Compile>
    <Compile Include="..\FPNum.cs">
      <Link>FPNum.cs</Link>
    </Compile>
    <Compile Include="..\FPRMExpr.cs">
      <Link>FPRMExpr.cs</Link>
    </Compile>
    <Compile Include="..\FPRMNum.cs">
      <Link>FPRMNum.cs</Link>
    </Compile>
    <Compile Include="..\FPRMSort.cs">
      <Link>FPRMSort.cs</Link>
    </Compile>
    <Compile Include="..\FPSort.cs">
      <Link>FPSort.cs</Link>
    </Compile>
    <Compile Include="..\FuncDecl.cs">
      <Link>FuncDecl.cs</Link>
    </Compile>
    <Compile Include="..\FuncInterp.cs">
      <Link>FuncInterp.cs</Link>
    </Compile>
    <Compile Include="..\Global.cs">
      <Link>Global.cs</Link>
    </Compile>
    <Compile Include="..\Goal.cs">
      <Link>Goal.cs</Link>
    </Compile>
    <Compile Include="..\IDecRefQueue.cs">
      <Link>IDecRefQueue.cs</Link>
    </Compile>
    <Compile Include="..\InterpolationContext.cs">
      <Link>InterpolationContext.cs</Link>
    </Compile>
    <Compile Include="..\IntExpr.cs">
      <Link>IntExpr.cs</Link>
    </Compile>
    <Compile Include="..\IntNum.cs">
      <Link>IntNum.cs</Link>
    </Compile>
    <Compile Include="..\IntSort.cs">
      <Link>IntSort.cs</Link>
    </Compile>
    <Compile Include="..\IntSymbol.cs">
      <Link>IntSymbol.cs</Link>
    </Compile>
    <Compile Include="..\ListSort.cs">
      <Link>ListSort.cs</Link>
    </Compile>
    <Compile Include="..\Log.cs">
      <Link>Log.cs</Link>
    </Compile>
    <Compile Include="..\Model.cs">
      <Link>Model.cs</Link>
    </Compile>
    <Compile Include="..\Native.cs">
      <Link>Native.cs</Link>
    </Compile>
    <Compile Include="..\Optimize.cs">
      <Link>Optimize.cs</Link>
    </Compile>
    <Compile Include="..\ParamDescrs.cs">
      <Link>ParamDescrs.cs</Link>
    </Compile>
    <Compile Include="..\Params.cs">
      <Link>Params.cs</Link>
    </Compile>
    <Compile Include="..\Pattern.cs">
      <Link>Pattern.cs</Link>
    </Compile>
    <Compile Include="..\Probe.cs">
      <Link>Probe.cs</Link>
    </Compile>
    <Compile Include="..\Quantifier.cs">
      <Link>Quantifier.cs</Link>
    </Compile>
    <Compile Include="..\RatNum.cs">
      <Link>RatNum.cs</Link>
    </Compile>
    <Compile Include="..\RealExpr.cs">
      <Link>RealExpr.cs</Link>
    </Compile>
    <Compile Include="..\RealSort.cs">
      <Link>RealSort.cs</Link>
    </Compile>
    <Compile Include="..\ReExpr.cs">
      <Link>ReExpr.cs</Link>
    </Compile>
    <Compile Include="..\RelationSort.cs">
      <Link>RelationSort.cs</Link>
    </Compile>
    <Compile Include="..\ReSort.cs">
      <Link>ReSort.cs</Link>
    </Compile>
    <Compile Include="..\SeqExpr.cs">
      <Link>SeqExpr.cs</Link>
    </Compile>
    <Compile Include="..\SeqSort.cs">
      <Link>SeqSort.cs</Link>
    </Compile>
    <Compile Include="..\SetSort.cs">
      <Link>SetSort.cs</Link>
    </Compile>
    <Compile Include="..\Solver.cs">
      <Link>Solver.cs</Link>
    </Compile>
    <Compile Include="..\Sort.cs">
      <Link>Sort.cs</Link>
    </Compile>
    <Compile Include="..\Statistics.cs">
      <Link>Statistics.cs</Link>
    </Compile>
    <Compile Include="..\Status.cs">
      <Link>Status.cs</Link>
    </Compile>
    <Compile Include="..\StringSymbol.cs">
      <Link>StringSymbol.cs</Link>
    </Compile>
    <Compile Include="..\Symbol.cs">
      <Link>Symbol.cs</Link>
    </Compile>
    <Compile Include="..\Tactic.cs">
      <Link>Tactic.cs</Link>
    </Compile>
    <Compile Include="..\TupleSort.cs">
      <Link>TupleSort.cs</Link>
    </Compile>
    <Compile Include="..\UninterpretedSort.cs">
      <Link>UninterpretedSort.cs</Link>
    </Compile>
    <Compile Include="..\Version.cs">
      <Link>Version.cs</Link>
    </Compile>
    <Compile Include="..\Z3Exception.cs">
      <Link>Z3Exception.cs</Link>
    </Compile>
    <Compile Include="..\Z3Object.cs">
      <Link>Z3Object.cs</Link>
    </Compile>
    <Compile Include="Properties\AssemblyInfo.cs" />
  </ItemGroup>
  <ItemGroup>
    <WCFMetadata Include="Service References\" />
  </ItemGroup>
  <ItemGroup>
    <None Include="packages.config" />
  </ItemGroup>
  <Import Project="$(MSBuildToolsPath)\Microsoft.CSharp.targets" />
</Project>
