Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
comfusy [2012/12/19 14:37] philippe.suter |
comfusy [2013/10/16 18:27] (current) mikael.mayer making-of added |
||
---|---|---|---|
Line 56: | Line 56: | ||
(Comfusy parses Z3 models to produce a warning; versions of Z3 more recent than 2.18 may not output the proper format.) | (Comfusy parses Z3 models to produce a warning; versions of Z3 more recent than 2.18 may not output the proper format.) | ||
+ | |||
===== On YouTube ===== | ===== On YouTube ===== | ||
- | Comfusy has been used to synthesize a part of computation used to generate the following [[http://www.youtube.com/watch?v=E2aPFdu0FNA|Happy New Year Video]]. | + | Comfusy has been used to synthesize a part of computation used to generate the following [[http://www.youtube.com/watch?v=E2aPFdu0FNA|Happy New Year 2010 Video]] (see the [[http://www.youtube.com/watch?v=a6uDAdhvpRE|making-of]] at 0:47). |
===== People ===== | ===== People ===== |