licenses.dev

z3-sys v0.6.3

Low-level bindings for the Z3 SMT solver from Microsoft Research

Published on

Licenses

Learn more about license information.

Package Licenses

MIT

Dependency Licenses

Apache-2.0 OR MIT3
PackageRelationDependenciesPublished
cc • 1.1.31A build-time dependency for Cargo build scripts to assist in invoking the native C compiler to compile native C code into a static archive to be linked into Rust code. INDIRECT1
cmake • 0.1.51A build dependency for running `cmake` to build a native library DIRECT2
shlex • 1.3.0Split a string into shell words, like Python's shlex.INDIRECT0
Last updated on

Copy the licenses badge code for the latest version:

[![licenses](https://licenses.dev/b/cargo/z3-sys)](https://licenses.dev/cargo/z3-sys)
<a href="https://licenses.dev/cargo/z3-sys">
  <img src="https://licenses.dev/b/cargo/z3-sys" alt="licenses" />
</a>

Or the licenses badge code for the 0.6.3 version:

[![licenses](https://licenses.dev/b/cargo/z3-sys/0.6.3)](https://licenses.dev/cargo/z3-sys/0.6.3)
<a href="https://licenses.dev/cargo/z3-sys/0.6.3">
  <img src="https://licenses.dev/b/cargo/z3-sys/0.6.3" alt="licenses" />
</a>
GitHub