Aiger is a package for AIGER format, library, and a set of utilities by Prof. Armin Bierre and others. AIG in AIGER stands for And-Inverter-Graph, i.e. a logic network consisting of only two-input AND gates and inverters. This representation has been very popular in logic synthesis and verification world.
I added an Ocaml wrapper for the Aiger library for the purpose of reading and handling AIG files in our SMT solver beaver.
Download modified Aiger: aiger-20071012-modified-1.tar.gz
How to install
Do configure; make install; make install-findlib to install the C library as well as the Ocaml wrapper using Findlib.
List of changes