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.