# `klee-bindings`
> Raw Rust bindings to KLEE

-----

**NOTE** `klee-bindings` does not rely on the standard library and requires the [cty](https://crates.io/crates/cty) crate for both `std` and `no_std` environments.


# License
Licensed under MIT. See [LICENSE](/LICENSE).

# Contributing
See [CONTRIBUTING.md](/CONTRIBUTING.md).