diff options
| author |  qadeer <unknown> | 2010-08-29 15:43:54 +0000 |
|---|---|---|
| committer | qadeer <unknown> | 2010-08-29 15:43:54 +0000 |
| commit | 643ac18e65fbb0639198cfc2617e3ef2a8fc6d29 (patch) | |
| tree | ef448e4c780cd0a892eabf743727f99e99ee2c7a /Source/BoogieDriver | |
| parent | e9b875f97ba13669491cec76d1472f40b94efc4d (diff) | |
added a new api to Z3apiProcessTheoremProver for asserting axioms
Diffstat (limited to 'Source/BoogieDriver')
| -rw-r--r-- | Source/BoogieDriver/BoogieDriver.csproj | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/Source/BoogieDriver/BoogieDriver.csproj b/Source/BoogieDriver/BoogieDriver.csproj index e5c52add..96d68bec 100644 --- a/Source/BoogieDriver/BoogieDriver.csproj +++ b/Source/BoogieDriver/BoogieDriver.csproj @@ -136,10 +136,6 @@ <Project>{9B163AA3-36BC-4AFB-88AB-79BC9E97E401}</Project>
<Name>SMTLib</Name>
</ProjectReference>
- <ProjectReference Include="..\Provers\Z3api\Z3api.csproj">
- <Project>{966DD87B-A29D-4F3C-9406-F680A61DC0E0}</Project>
- <Name>Z3api</Name>
- </ProjectReference>
<ProjectReference Include="..\Provers\Z3\Z3.csproj">
<Project>{BB49B90B-BE21-4BE8-85BA-359FDB55F4DF}</Project>
<Name>Z3</Name>
|