clam - Revision 15456: /branches/unlabeled-1.5.2.10.2/CLAM/examples/AnalysisSynthesis