z3-z3-4.13.0.examples.dotnet.README Maven / Gradle / Ivy
The newest version!
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.