Scaffolding for a number of term-based enumeration synthesis tools.
This library requires containers, which can be installed by running opam install containers.
Setup requires oasis.
After cloning, simply navigate to the repository and run:
make
make install
Link against the package iron. Useful modules include Term and Zipper.