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.