Changed contract-composition mechanism in DiGraph
Changed contract-composition mechanism and keywords in Elevator example
Changed contract-composition mechanism and keywords in Email example
Removed generated files from index
Removed generated files from index
Added settings for GPLscratch example
Removed generated files
Removed generated files
Changed contracts in StringMatcher example
Added contract-composition keywords in Poker example
Changed contract-composition mechanism and keywords in Paycard example
Added example based on previous examples
Changed contract-composition mechanism and keywords in UnionFind example
Added ExamDB example without pure-method refinement
Added generated folders to gitignore