# libdeco

Rust implementation of the Bühlmann ZHL-16\[B] algorithm with C/++ and Python bindings. Serves as a testing playground for high-integrity applications through differential fuzzing and formal methods.

## TODO

- [ ]: Integrate cbindgen
- [ ]: Integrate py03 or ctypes wrapper