mutaig 0.4.2

Mutable AIGs designed for equivalence checking.
Documentation 
1
2
3
4
5
6
7
8

aag 7 2 0 2 3
2
4
6
12
6 13 15
12 2 4
14 3 5