1 2 3 4 5 6 7 8 9 10 11 12
# MUTAIG: mutable AIG A library for manipulating And-Inverter Graphs (AIGs). Inspired by [aig-rs](https://github.com/gipsyh/aig-rs). # TODO - support latches - support creation from a parser - more tests - more docs