diff options
| author |  qadeer <unknown> | 2010-08-20 21:52:05 +0000 |
|---|---|---|
| committer | qadeer <unknown> | 2010-08-20 21:52:05 +0000 |
| commit | 0d77cf304b9bd2b2152fe1a733e4533536c883c0 (patch) | |
| tree | 9ce338c9e4d2ad54d759b434248b7761a8c75b6d /Source/Core/Core.csproj | |
| parent | 27cc9c245d21151a78c95cead4801ad130557743 (diff) | |
Added the port of Z3api. It is simply a port to the latest version of Microsoft.Z3.dll and to C#. It does not work yet.
Diffstat (limited to 'Source/Core/Core.csproj')
0 files changed, 0 insertions, 0 deletions