miden-constraint-compiler 0.36.1

Constraint compiler for Plonky3-based Miden AIRs.
1
2
3
4
5
6
7
8

# 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](http://opensource.org/licenses/MIT) and [Apache 2.0](https://opensource.org/license/apache-2-0) licenses.