mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-15 05:18:44 +00:00
Code Activity

Added Optimize.cs to to Microsoft.Z3.csproj

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2015-05-19 12:41:51 +01:00
parent e9f7d558e3
commit f0b699f03a
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/api/dotnet/Microsoft.Z3.csproj
View file

@ -365,6 +365,7 @@
<Compile Include="IntSymbol.cs" />
<Compile Include="ListSort.cs" />
<Compile Include="Model.cs" />
<Compile Include="Optimize.cs" />
<Compile Include="Params.cs" />
<Compile Include="ParamDescrs.cs" />
<Compile Include="Pattern.cs" />