About Dameid

Version
Implementation
Dameid is written in OCaml and uses the preprocessor Camlp5.
Home page
http://pauillac.inria.fr/~ddr/dameid/
Author
Daniel de Rauglaudre, Inria.