mirror of
https://github.com/Z3Prover/z3
synced 2025-04-03 16:19:57 +00:00
|
||
---|---|---|
.. | ||
CMakeLists.txt | ||
dotnet.csproj | ||
Program.cs | ||
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.