# `klee-rs`
[![Crate](https://img.shields.io/crates/v/klee-rs)](https://crates.io/crates/klee-rs)
> Provides a safe API for interfacing with KLEE.

----
This crate is a safe wrapper on the [klee-bindings](https://github.com/markhakansson/klee-bindings) output. It does not require the standard library
and can be used for both `std`and `no_std` environments.

Refer to the official KLEE documentation for how to use it.

# Requirements
* KLEE v2+

# License
Licensed under either of

- Apache License, Version 2.0 ([LICENSE-APACHE](LICENSE-APACHE) or
  http://www.apache.org/licenses/LICENSE-2.0)
- MIT license ([LICENSE-MIT](LICENSE-MIT) or http://opensource.org/licenses/MIT)

at your option.

## Contributing
Issues and pull requests are welcomed! See [CONTRIBUTING.md](/CONTRIBUTING.md).