`klee-bindings`

Raw Rust bindings to KLEE

NOTE klee-bindings does not rely on the standard library and requires the cty crate for both std and no_std environments.

License

Licensed under MIT. See LICENSE.