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