Embedded domain specific language (eDSL) for writing circuits with the [`halo2`](https://github.com/axiom-crypto/halo2) API. It simplifies circuit programming to declaring constraints over a single advice and selector column and provides built-in circuit tuning and support for multi-threaded witness generation.
/// Module providing tools to create a circuit using our gates
pubmodcircuit;/// Module implementing our simple custom gate and common functions using it
pubmodflex_gate;/// Module using a single lookup table for range checks
pubmodrange;/// Tests
#[cfg(test)]pubmodtests;pubuseflex_gate::{GateChip, GateInstructions};pubuserange::{RangeChip, RangeInstructions};