z3 0.11.2

High-level rust bindings for the Z3 SMT solver from Microsoft Research
# z3


High-level rust bindings to the Z3 SMT solver

Licensed under the MIT license.

See [https://github.com/Z3Prover/z3](https://github.com/Z3Prover/z3) for details on Z3.

## Documentation

The API is fully documented with examples:

## Installation

This crate works with Cargo and is on
Add it to your `Cargo.toml` like so:

z3 = "0.11.2"

**Note:** This library has a dependency on Z3. You will either need to
have the Z3 dependency already installed, or you can statically link
to our build of Z3 like so:

z3 = {version="0.11.2", features = ["static-link-z3"]}

## Support and Maintenance

I am developing this library largely on my own so far. I am able
to offer support and maintenance, but would very much appreciate
donations via [Patreon](https://patreon.com/endoli). I can also
provide commercial support, so feel free to
[contact me](mailto:bruce.mitchener@gmail.com).

## Contribution

Unless you explicitly state otherwise, any contribution
intentionally submitted for inclusion in the work by you,
shall be dual licensed as above, without any additional
terms or conditions.