diff options
| author |  MichalMoskal <unknown> | 2011-02-17 18:59:50 +0000 |
|---|---|---|
| committer | MichalMoskal <unknown> | 2011-02-17 18:59:50 +0000 |
| commit | 6873de1e22575d6d227b26ead84621d0fe4cab04 (patch) | |
| tree | 263c8c66b98fe3cc72c96e70e6988cb1be88e5d7 /Source/Provers/SMTLib/SMTLib.csproj | |
| parent | d1467b27944cc71bdf1c2b6350ab7d60933fedb3 (diff) | |
Make it possible to run Z3 on pipe; use generic PROVER_LOG options
Diffstat (limited to 'Source/Provers/SMTLib/SMTLib.csproj')
| -rw-r--r-- | Source/Provers/SMTLib/SMTLib.csproj | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/Provers/SMTLib/SMTLib.csproj b/Source/Provers/SMTLib/SMTLib.csproj index c0ade351..536fd43e 100644 --- a/Source/Provers/SMTLib/SMTLib.csproj +++ b/Source/Provers/SMTLib/SMTLib.csproj @@ -114,6 +114,7 @@ <Compile Include="SMTLibProcess.cs" />
<Compile Include="TypeDeclCollector.cs" />
<Compile Include="..\..\version.cs" />
+ <Compile Include="Z3.cs" />
</ItemGroup>
<ItemGroup>
<ProjectReference Include="..\..\AIFramework\AIFramework.csproj">
|