diff options
| author |  MichalMoskal <unknown> | 2011-01-18 02:56:03 +0000 |
|---|---|---|
| committer | MichalMoskal <unknown> | 2011-01-18 02:56:03 +0000 |
| commit | 4dc3a9e20f85ab403d70a59e40a2494d3e6a5067 (patch) | |
| tree | 87a5cc95f1ea3d67784ff8101abcb938d304555f /Source/BoogieDriver | |
| parent | 63ea533b33f9820f9672fb54be34f84c96b9365b (diff) | |
The TPTP backend works for some very limited examples
Diffstat (limited to 'Source/BoogieDriver')
| -rw-r--r-- | Source/BoogieDriver/BoogieDriver.csproj | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Source/BoogieDriver/BoogieDriver.csproj b/Source/BoogieDriver/BoogieDriver.csproj index 0f7be0fd..286feb13 100644 --- a/Source/BoogieDriver/BoogieDriver.csproj +++ b/Source/BoogieDriver/BoogieDriver.csproj @@ -148,6 +148,10 @@ <Project>{9B163AA3-36BC-4AFB-88AB-79BC9E97E401}</Project>
<Name>SMTLib</Name>
</ProjectReference>
+ <ProjectReference Include="..\Provers\TPTP\TPTP.csproj">
+ <Project>{A598ED5A-93AD-4125-A555-3921A2F936FA}</Project>
+ <Name>TPTP</Name>
+ </ProjectReference>
<ProjectReference Include="..\Provers\Z3\Z3.csproj">
<Project>{BB49B90B-BE21-4BE8-85BA-359FDB55F4DF}</Project>
<Name>Z3</Name>
|