miden-constraint-compiler 0.28.0

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

//! The constraint IR: a hash-consed expression graph with structural identity,
//! plus the symbolic-capture frontend that builds it and analyses over it.

pub mod analyze;
pub mod capture;
pub mod graph;

pub use analyze::{OpCounts, op_counts};
pub use capture::{CapturedConstraints, capture, capture_into};
pub use graph::{Class, Graph, GraphBuilder, Leaf, Node, NodeId, OpKind};