z3-z3-4.13.0.examples.dotnet.README Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of z3-turnkey Show documentation
Show all versions of z3-turnkey Show documentation
A self-unpacking, standalone Z3 distribution that ships all required native support code and automatically unpacks it at runtime.
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.
© 2015 - 2025 Weber Informatics LLC | Privacy Policy