diff options
| author |  qadeer <unknown> | 2010-08-29 05:21:07 +0000 |
|---|---|---|
| committer | qadeer <unknown> | 2010-08-29 05:21:07 +0000 |
| commit | 1261d2fd42953648371ce36dfc1fa01b75ffeae2 (patch) | |
| tree | d013ee83dd7f331e7cc5e591deb15f00551e2482 /Source/Provers/Z3api/Z3api.csproj | |
| parent | e9a2e2bb8ff871295a8e80d1809c8400ec67344b (diff) | |
BeginCheck now adds context.Axioms as well as the conjecture to the context.
Also started using the new quantifier api.
Diffstat (limited to 'Source/Provers/Z3api/Z3api.csproj')
| -rw-r--r-- | Source/Provers/Z3api/Z3api.csproj | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/Provers/Z3api/Z3api.csproj b/Source/Provers/Z3api/Z3api.csproj index 1aa4534f..dc96a6ad 100644 --- a/Source/Provers/Z3api/Z3api.csproj +++ b/Source/Provers/Z3api/Z3api.csproj @@ -3,7 +3,7 @@ <PropertyGroup>
<Configuration Condition=" '$(Configuration)' == '' ">Debug</Configuration>
<Platform Condition=" '$(Platform)' == '' ">AnyCPU</Platform>
- <ProductVersion>9.0.30729</ProductVersion>
+ <ProductVersion>9.0.21022</ProductVersion>
<SchemaVersion>2.0</SchemaVersion>
<ProjectGuid>{966DD87B-A29D-4F3C-9406-F680A61DC0E0}</ProjectGuid>
<OutputType>Library</OutputType>
@@ -45,7 +45,7 @@ <SpecificVersion>False</SpecificVersion>
<HintPath>..\..\..\Binaries\Microsoft.Contracts.dll</HintPath>
</Reference>
- <Reference Include="Microsoft.Z3, Version=2.0.3662.37897, Culture=neutral, PublicKeyToken=9c8d792caae602a2, processorArchitecture=x86">
+ <Reference Include="Microsoft.Z3, Version=2.0.40827.2, Culture=neutral, PublicKeyToken=9c8d792caae602a2, processorArchitecture=x86">
<SpecificVersion>False</SpecificVersion>
<HintPath>..\..\..\Binaries\Microsoft.Z3.dll</HintPath>
</Reference>
|