# About the sample circuits
Circuits were picked because they are lightweight.
- `ctrl.aig` is a simple combinational circuit and is from the [EPFL combinational benchmark](https://github.com/lsils/benchmarks)
- `beemandrsn1f1.aig` features latches and is from [BEEM](https://paradise.fi.muni.cz/beem/), also available on [AIGER page](https://fmv.jku.at/aiger/)
- `half-adder.aag` is in AIGER ASCII format.