licenses.dev

z3 v0.5.1

High-level rust 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 MIT31
PackageRelationDependenciesPublished
autocfg • 1.4.0Automatic cfg for Rust compiler featuresINDIRECT0
env_logger • 0.6.2A logging implementation for `log` which is configured via an environment variable. DIRECT25
hermit-abi • 0.1.19Hermit system calls definitions.INDIRECT1
humantime • 1.3.0 A parser and formatter for std::time::{Duration, SystemTime} INDIRECT1
lazy_static • 1.5.0A macro for declaring lazily evaluated statics in Rust.DIRECT0
libc • 0.2.161Raw FFI bindings to platform libraries like libc. INDIRECT0
log • 0.4.22A lightweight logging facade for Rust DIRECT0
num-bigint • 0.2.6Big integer implementation for RustINDIRECT3
num-complex • 0.2.4Complex numbers implementation for RustINDIRECT2
num-iter • 0.1.45External iterators for generic mathematicsINDIRECT3
num-rational • 0.2.4Rational numbers implementation for RustINDIRECT4
num-traits • 0.2.19Numeric traits for generic mathematicsINDIRECT1
num • 0.2.1A collection of numeric types and traits for Rust, including bigint, complex, rational, range iterators, generic integers, and more! DIRECT7
quick-error • 1.2.3 A macro which makes error types pleasant to write. INDIRECT0
regex-syntax • 0.6.29A regular expression parser.INDIRECT0
regex • 1.7.3An implementation of regular expressions for Rust. This implementation uses finite automata and guarantees linear time matching on all inputs. INDIRECT3
semver-parser • 0.7.0Parsing of the semver spec. INDIRECT0
semver • 0.9.0Parser and evaluator for Cargo's flavor of Semantic VersioningDIRECT1
winapi-i686-pc-windows-gnu • 0.4.0Import libraries for the i686-pc-windows-gnu target. Please don't use this crate directly, depend on winapi instead.INDIRECT0
winapi-x86_64-pc-windows-gnu • 0.4.0Import libraries for the x86_64-pc-windows-gnu target. Please don't use this crate directly, depend on winapi instead.INDIRECT0
winapi • 0.3.9Raw FFI bindings for all of Windows API.INDIRECT2
windows_aarch64_gnullvm • 0.52.6Import lib for WindowsINDIRECT0
windows_aarch64_msvc • 0.52.6Import lib for WindowsINDIRECT0
windows_i686_gnu • 0.52.6Import lib for WindowsINDIRECT0
windows_i686_gnullvm • 0.52.6Import lib for WindowsINDIRECT0
windows_i686_msvc • 0.52.6Import lib for WindowsINDIRECT0
windows_x86_64_gnu • 0.52.6Import lib for WindowsINDIRECT0
windows_x86_64_gnullvm • 0.52.6Import lib for WindowsINDIRECT0
windows_x86_64_msvc • 0.52.6Import lib for WindowsINDIRECT0
windows-sys • 0.59.0Rust for WindowsINDIRECT9
windows-targets • 0.52.6Import libs for WindowsINDIRECT8
MIT OR Unlicense4
PackageRelationDependenciesPublished
aho-corasick • 0.7.20Fast multiple substring searching.INDIRECT1
memchr • 2.7.4Provides extremely fast (uses SIMD on x86_64, aarch64 and wasm32) routines for 1, 2 or 3 byte search and single substring search. INDIRECT0
termcolor • 1.4.1A simple cross platform library for writing colored text to a terminal. INDIRECT11
winapi-util • 0.1.9A dumping ground for high level safe wrappers over windows-sys.INDIRECT10
MIT2
PackageRelationDependenciesPublished
atty • 0.2.14A simple interface for querying attyINDIRECT5
z3-sys • 0.6.3Low-level bindings for the Z3 SMT solver from Microsoft ResearchDIRECT0
unknown1
PackageRelationDependenciesPublished
num-integer • 0.1.46Integer traits and functionsINDIRECT2
Last updated on

Copy the licenses badge code for the latest version:

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

Or the licenses badge code for the 0.5.1 version:

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