z3-z3-4.12.6.examples.dotnet.README Maven / Gradle / Ivy
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.
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.