mcBV/mcBV-mono.fsproj

<?xml version="1.0" encoding="utf-8"?>
<Project ToolsVersion="12.0" DefaultTargets="Build" xmlns="http://schemas.microsoft.com/developer/msbuild/2003">
  <Import Project="$(MSBuildExtensionsPath)\$(MSBuildToolsVersion)\Microsoft.Common.props" Condition="Exists('$(MSBuildExtensionsPath)\$(MSBuildToolsVersion)\Microsoft.Common.props')" />
  <PropertyGroup>
    <Configuration Condition=" '$(Configuration)' == '' ">Debug</Configuration>
    <Platform Condition=" '$(Platform)' == '' ">AnyCPU</Platform>
    <SchemaVersion>2.0</SchemaVersion>
    <ProjectGuid>2837972c-b670-49c5-8a63-a547c30652e4</ProjectGuid>
    <OutputType>Exe</OutputType>
    <RootNamespace>mcBV</RootNamespace>
    <AssemblyName>mcBV</AssemblyName>
    <TargetFrameworkVersion>v4.5</TargetFrameworkVersion>
    <AutoGenerateBindingRedirects>true</AutoGenerateBindingRedirects>
    <TargetFSharpCoreVersion>4.3.1.0</TargetFSharpCoreVersion>
    <Name>mcBV</Name>
  </PropertyGroup>
  <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
    <DebugSymbols>true</DebugSymbols>
    <DebugType>full</DebugType>
    <Optimize>false</Optimize>
    <Tailcalls>false</Tailcalls>
    <OutputPath>bin\Debug\</OutputPath>
    <DefineConstants>DEBUG;TRACE</DefineConstants>
    <WarningLevel>3</WarningLevel>
    <PlatformTarget>x86</PlatformTarget>
    <DocumentationFile>bin\Debug\mcBV.XML</DocumentationFile>
    <Prefer32Bit>false</Prefer32Bit>
    <StartArguments>..\..\benchmarks\myTests\arithmetic.smt2</StartArguments>
  </PropertyGroup>
  <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Release|AnyCPU' ">
    <DebugType>pdbonly</DebugType>
    <Optimize>true</Optimize>
    <Tailcalls>true</Tailcalls>
    <OutputPath>bin\Release\</OutputPath>
    <DefineConstants>TRACE</DefineConstants>
    <WarningLevel>3</WarningLevel>
    <PlatformTarget>AnyCPU</PlatformTarget>
    <DocumentationFile>bin\Release\mcBV.XML</DocumentationFile>
    <Prefer32Bit>true</Prefer32Bit>
    <StartArguments>C:\Users\aleks\Documents\GitHub\mcbv\mcBV\benchmarks\myTests\repeat.smt2</StartArguments>
  </PropertyGroup>
  <ItemGroup>
    <Reference Include="FSharp.Core">
      <HintPath>packages\FSharp.Core.3.0.2\lib\net40\FSharp.Core.dll</HintPath>
      <Private>True</Private>
    </Reference>
    <Reference Include="Microsoft.Z3">
      <HintPath>z3-mono\Microsoft.Z3.dll</HintPath>
    </Reference>
    <Reference Include="mscorlib" />    
    <Reference Include="System" />
    <Reference Include="System.Core" />
    <Reference Include="System.Numerics" />
  </ItemGroup>
  <ItemGroup>
    <None Include="App.config" />
    <Compile Include="PriorityQueue.fs" />
    <Compile Include="GlobalOptions.fs" />
    <Compile Include="Util.fs" />
    <Compile Include="Preprocessing.fs" />
    <Compile Include="Bit.fs" />
    <Compile Include="Stats.fs" />
    <Compile Include="BitVector.fs" />
    <Compile Include="Interval.fs" />
    <Compile Include="Literal.fs" />
    <Compile Include="Numeral.fs" />
    <Compile Include="Clause.fs" />
    <Compile Include="BooleanValuation.fs" />
    <Compile Include="BitVectorValuation.fs" />
    <Compile Include="BoundsValuation.fs" />
    <Compile Include="NumeralDB.fs" />
    <Compile Include="TheoryRelation.fs" />
    <Compile Include="VariableOrder.fs" />
    <Compile Include="VariableDB.fs" />
    <Compile Include="ClauseDB.fs" />
    <Compile Include="TheoryDB.fs" />
    <Compile Include="WatchManager.fs" />
    <Compile Include="DataBase.fs" />
    <Compile Include="Learning.fs" />
    <Compile Include="Trail.fs" />
    <Compile Include="Z3Check.fs" />
    <Compile Include="State.fs" />
    <Compile Include="SandboxState.fs" />
    <Compile Include="RLEBVOperations.fs" />
    <Compile Include="RLEBVTheory.fs" />
    <Compile Include="BoundsOperations.fs" />
    <Compile Include="BoundsTheory.fs" />
    <Compile Include="InitializationRules.fs" />
    <Compile Include="PropagationRules.fs" />
    <Compile Include="Explain.fs" />
    <Compile Include="DecisionRules.fs" />
    <Compile Include="ConflictRules.fs" />
    <Compile Include="Rules.fs" />
    <Compile Include="Problem.fs" />
    <Compile Include="Model.fs" />
    <Compile Include="Solver.fs" />
    <Compile Include="ModelVerification.fs" />
    <Compile Include="Main.fs" />
    <None Include="packages.config" />
  </ItemGroup>
  <PropertyGroup>
    <MinimumVisualStudioVersion Condition="'$(MinimumVisualStudioVersion)' == ''">11</MinimumVisualStudioVersion>
  </PropertyGroup>
  <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|x86' ">
    <DebugSymbols>true</DebugSymbols>
    <DebugType>full</DebugType>
    <Optimize>false</Optimize>
    <Tailcalls>false</Tailcalls>
    <OutputPath>bin\Debug\</OutputPath>
    <DefineConstants>DEBUG;TRACE</DefineConstants>
    <WarningLevel>3</WarningLevel>
    <DocumentationFile>bin\Debug\mcBV.XML</DocumentationFile>
    <Prefer32Bit>true</Prefer32Bit>
    <PlatformTarget>x86</PlatformTarget>
    <StartArguments>C:\git\mcbv\mcBV\benchmarks\myTests\test.smt2</StartArguments>
    <EnableUnmanagedDebugging>true</EnableUnmanagedDebugging>
  </PropertyGroup>
  <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Release|x86' ">
    <DebugType>pdbonly</DebugType>
    <Optimize>true</Optimize>
    <Tailcalls>true</Tailcalls>
    <OutputPath>bin\Release\</OutputPath>
    <DefineConstants>TRACE</DefineConstants>
    <WarningLevel>3</WarningLevel>
    <DocumentationFile>bin\Release\mcBV.XML</DocumentationFile>
    <Prefer32Bit>true</Prefer32Bit>
    <PlatformTarget>x86</PlatformTarget>
  </PropertyGroup>
  <Choose>
    <When Condition="'$(VisualStudioVersion)' == '11.0'">
      <PropertyGroup Condition="Exists('$(MSBuildExtensionsPath32)\..\Microsoft SDKs\F#\3.0\Framework\v4.0\Microsoft.FSharp.Targets')">
        <FSharpTargetsPath>$(MSBuildExtensionsPath32)\..\Microsoft SDKs\F#\3.0\Framework\v4.0\Microsoft.FSharp.Targets</FSharpTargetsPath>
      </PropertyGroup>
    </When>
    <Otherwise>
      <PropertyGroup Condition="Exists('$(MSBuildExtensionsPath32)\Microsoft\VisualStudio\v$(VisualStudioVersion)\FSharp\Microsoft.FSharp.Targets')">
        <FSharpTargetsPath>$(MSBuildExtensionsPath32)\Microsoft\VisualStudio\v$(VisualStudioVersion)\FSharp\Microsoft.FSharp.Targets</FSharpTargetsPath>
      </PropertyGroup>
    </Otherwise>
  </Choose>
  <Import Project="$(FSharpTargetsPath)" />
  <PropertyGroup>
    <PostBuildEvent>cp $(ProjectDir)/z3-mono/libz3.so libz3.dll</PostBuildEvent>
  </PropertyGroup>
  <!-- To modify your build process, add your task inside one of the targets below and uncomment it. 
       Other similar extension points exist, see Microsoft.Common.targets.
  <Target Name="BeforeBuild">
  </Target>
  <Target Name="AfterBuild">
  </Target>
  -->
</Project>