# MUTAIG: mutable AIG
A library for manipulating And-Inverter Graphs (AIGs), designed for equivalence checking.
Inspired by [aig-rs](https://github.com/gipsyh/aig-rs).
# TODO
- miter
- integrity checks
- integration with a sat solver
- support latches
- support creation from a parser
- more tests
- more docs