From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 14131BB81 for ; Fri, 18 Nov 2005 22:40:33 +0100 (CET) Received: from mail.aquaray.com (feyd.aquaray.com [193.19.216.178]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id jAILeWn0027081 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Fri, 18 Nov 2005 22:40:32 +0100 Received: (qmail 30783 invoked by uid 89); 18 Nov 2005 22:39:35 +0100 Received: from 192-243-118-80.kaptech.net (HELO arthur) (cours?caml@france-ioi.org@80.118.243.192) by mail.aquaray.com with SMTP; 18 Nov 2005 22:39:35 +0100 Message-ID: <007a01c5ec88$b27b4e60$e600a8c0@arthur> Reply-To: "Arthur Chargueraud" From: "Arthur Chargueraud" To: Subject: Sudoku solver again: a 13-lines and rather efficient one Date: Fri, 18 Nov 2005 22:40:23 +0100 MIME-Version: 1.0 Content-Type: text/plain; format=flowed; charset="iso-8859-1"; reply-type=original Content-Transfer-Encoding: 8bit X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 6.00.2900.2180 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.2180 X-Miltered: at nez-perce with ID 437E4A50.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; solver:01 solver:01 short:01 pervasive:01 modules:01 caml:02 caml:02 guess:02 uses:06 efficient:06 efficient:06 looks:07 benchmarking:07 rather:07 rather:07 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 I don't know if this is the best place to have a Sudoku solver challenge, But since many of you posted here, I guess I may also have a go on it :) -- in other words, I'm sorry if you don't care at all about Sudoku --- Well, if you are interested, you may wish to have a look at my: - thirteen lines of Caml (though my lines are not so short) - of a rather efficient sudoku solver - that gives all solution for an input grid - and uses only modules Pervasive and Array. Thanks Caml ! You may find it here: http://arthur.chargueraud.org/divers/sudoku/ I haven't done any advanced benchmarking, but it looks like my code isn't too slow. Arthur Charguéraud