3 ms·I wonder, does Code Contracts use Z3?by bbcbasic 12y agoI wonder, does Code Contracts use Z3?ygra 12y agoCode Contracts are just assertions. Pex can use them though and is built on Z3, iirc.bbcbasic 12y agoThey seem to be more than assertions. You get warnings at build time and clearly some proving engine must be in use.