About Sas-Dameid

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