Comments on: Using Alloy Analyzer to solve the first Google Davinci Code Quest puzzle! http://kyriakos.anastasakis.net/2006/04/26/using-alloy-analyzer-to-solve-the-first-google-davinci-code-quest-puzzle/ Sun, 03 Jan 2010 20:23:05 +0000 http://wordpress.org/?v=2.9.2 hourly 1 By: Arjun http://kyriakos.anastasakis.net/2006/04/26/using-alloy-analyzer-to-solve-the-first-google-davinci-code-quest-puzzle/comment-page-1/#comment-90 Arjun Thu, 13 Mar 2008 20:24:00 +0000 http://kyriakos.anastasakis.net/blog/2006/04/26/using-alloy-analyzer-to-solve-the-first-google-davinci-code-quest-puzzle/#comment-90 or a quantum computer... here is a phd topic if you want to do another one: quantum complexity bounds in the quest for cracking the generalised da vinci code. hmmm... lovely! or a quantum computer… here is a phd topic if you want to do another one: quantum complexity bounds in the quest for cracking the generalised da vinci code. hmmm… lovely!

]]> By: Kyriakos Anastasakis http://kyriakos.anastasakis.net/2006/04/26/using-alloy-analyzer-to-solve-the-first-google-davinci-code-quest-puzzle/comment-page-1/#comment-64 Kyriakos Anastasakis Wed, 07 Jun 2006 15:01:00 +0000 http://kyriakos.anastasakis.net/blog/2006/04/26/using-alloy-analyzer-to-solve-the-first-google-davinci-code-quest-puzzle/#comment-64 Hi James,<br/><br/>I used Alloy v3.0 (the one that is available from the alloy website) for the model. It is very easy and quick to develop models and check properties of (especially static) systems with the latest version of the language. Hi James,

I used Alloy v3.0 (the one that is available from the alloy website) for the model. It is very easy and quick to develop models and check properties of (especially static) systems with the latest version of the language.

]]> By: James Austin http://kyriakos.anastasakis.net/2006/04/26/using-alloy-analyzer-to-solve-the-first-google-davinci-code-quest-puzzle/comment-page-1/#comment-63 James Austin Tue, 06 Jun 2006 16:17:00 +0000 http://kyriakos.anastasakis.net/blog/2006/04/26/using-alloy-analyzer-to-solve-the-first-google-davinci-code-quest-puzzle/#comment-63 You have kindled my curiosity in Alloy. The version of Alloy I studied 2 years back was 1.0 but the Alloy code you posted here seemed to be very different. By any chance, can you tell me which Alloy version you used. You have kindled my curiosity in Alloy. The version of Alloy I studied 2 years back was 1.0 but the Alloy code you posted here seemed to be very different. By any chance, can you tell me which Alloy version you used.

]]>