From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id KAA11843; Mon, 7 Jan 2002 10:24:14 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id KAA11956 for caml-list@pauillac.inria.fr; Mon, 7 Jan 2002 10:24:14 +0100 (MET) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id QAA18479 for ; Sat, 5 Jan 2002 16:14:06 +0100 (MET) Received: from mel-rto2.wanadoo.fr (smtp-out-2.wanadoo.fr [193.252.19.254]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g05FE5T24773 for ; Sat, 5 Jan 2002 16:14:05 +0100 (MET) Received: from andira.wanadoo.fr (193.252.19.152) by mel-rto2.wanadoo.fr; 5 Jan 2002 16:14:05 +0100 Received: from wanadoo.fr (80.13.221.101) by andira.wanadoo.fr; 5 Jan 2002 16:13:48 +0100 Message-ID: <3C3718A0.1A384732@wanadoo.fr> Date: Sat, 05 Jan 2002 16:15:44 +0100 From: gournay julien X-Mailer: Mozilla 4.79 [en] (Win98; U) X-Accept-Language: en MIME-Version: 1.0 To: caml-list@inria.fr Subject: [Caml-list] pb de programmation Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Bonjour a tous, je suis un vrai neophyte et je travaille actuellement sur la compilation de formules logiques par binary decision diagrams. J'avoue avoir quelques difficultés alors si des gens veulent bien sacrifier de leur temps pour m'envoyer des ptites idées ou bout de codes je suis preneur. En vous remerciant tous d'avance. JUJU ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr