mirror of
https://github.com/Z3Prover/z3
synced 2026-06-08 12:59:34 +00:00
Leonardo de Moura
8 lines
213 B
Plaintext
8 lines
213 B
Plaintext
Small example using the .Net bindings.
|
|
This example is only built if you have Visual Studio.
|
|
To build the example execute
|
|
make examples
|
|
in the build directory.
|
|
|
|
It will create the executable dotnet_example.exe
|