Miden constraint compiler

Compiles hand-written Miden AIR constraint definitions into a hash-consed, class-aware IR, with analyses and code-generation backends over it. The pipeline and its invariants are documented in the crate docs (src/lib.rs).

License

This project is dual-licensed under the MIT and Apache 2.0 licenses.