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