# owi-rs

Rust bindings to the [Owi](https://github.com/OCamlPro/owi) symbolic runtime.

This can be used to generate WebAssembly modules that can be converted to WebAsembly text format and passed to Owi for symbolic verification.

See [examples/](examples) for some basic usage examples.