Ocaml-aiger is an OCaml library to manipulate AIGER files.

Download the archive : ocaml-aiger.tar.gz.

Extract it.

Run make.

Optionaly run make install with adminstrator rights to install the library so that it can be found by ocamlfind.

API

E-mail: romain.brenguier [at] ulb.ac.be