開發者 contractpp.sf.net

C++程式設計（也稱為合同設計）。支援所有埃菲爾功能：可選合同彙編;對故障的可自定義操作;分包;舊值和結果值;塊不變，迴圈變體。http://contractpp.sourceforge.net。