Hi, > It seems to work for me: > It also seems to work for 4.2. Which version are you using, and can you > give a more complete transcript of what you're doing so I can try to > reproduce it here? Here is my complete interaction log ---------------------------------------------------------------------- ECLiPSe Constraint Logic Programming System [kernel] Copyright Imperial College London and ICL 1995-1999 Certain libraries copyright Parc Technologies Ltd 1999 GMP library copyright Free Software Foundation Version 4.2.1, Fri Aug 20 19:00 1999 [eclipse 1]: lib(fd). lists.pl compiled traceable 6992 bytes in 0.05 seconds fd_domain.sd loaded traceable 21476 bytes in 0.05 seconds fd_arith.sd loaded traceable 69516 bytes in 0.16 seconds fd_util.pl compiled traceable 2060 bytes in 0.00 seconds fd_chip.pl compiled traceable 4728 bytes in 0.05 seconds fd_elipsys.pl compiled traceable 10640 bytes in 0.00 seconds fd.sd loaded traceable 15608 bytes in 0.33 seconds yes. [eclipse 2]: X#=1,Y#=1. X = 1 Y = 1 yes. [eclipse 3]: X#=1 #/\ Y#=1. no (more) solution. [eclipse 4]: halt. bye ---------------------------------------------------------------------- Regards, Markus -- +--------------------------------------------------------------------+ | Markus Hannebauer www.first.gmd.de/~hannebau | | Dipl.-Inform., Research Fellow hannebau@first.gmd.de | | | | Research Institute for Computer Architecture | | and Software Technology (FIRST) | | phone: +49- 30-63 92 18 66 | | German National Research Center cell. p.: +49-179-101 33 40 | | for Information Technology (GMD) fax: +49- 30-63 92 18 05 | +--------------------------------------------------------------------+Received on Mon Sep 25 17:26:56 2000
This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:07:06 PM GMT GMT