mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 01:24:08 +00:00
Code Activity
z3/examples/dotnet
History
Yatao Li 43ee345f01 dotnet deps hack for test
2019-01-15 03:06:36 +09:00
..
CMakeLists.txt dotnet deps hack for test 2019-01-15 03:06:36 +09:00
dotnet.csproj dotnet: move example project build to cmake 2019-01-13 00:03:37 +08:00
Program.cs fix crash exposed by examples/dotnet/Program.cs 2018-10-20 14:32:59 -07:00
README dotnet: example: copy to binary dir before build 2019-01-13 22:45:05 +08:00

README 

Small example using the .Net bindings.
To build the example execute
   make examples
in the build directory.

It will create a .net core 2.0 app.