MUTAIG: mutable AIG

A library for manipulating And-Inverter Graphs (AIGs), designed for equivalence checking.

Installation

As for any other Rust library:

cargo add mutaig

Getting started

TODO

Docs

The docs for the latest release of MUTAIG are available on docs.rs.

Alternatively, if you want the latest version of the docs, you can compile them from source with:

cargo doc

Inspired by aig-rs.

TODO

• miter tests

• miter integration with a sat solver

• integrity checks

• support latches

• support creation from a parser/aiger

• more tests

• more docs

• getting started

• add output only with the id? or with the node directly