clp(q,r) pb

From: patrice <patrice_at_info.unicaen.fr>
Date: Tue 08 Feb 2000 10:42:49 AM GMT
Message-Id: <v0310280bb4c5a2181172@[193.55.128.85]>
I have the following problem with the present version of the solver clpr
(or clpq):

[eclipse3] : {X =:= 2 * Y}.
calling an undefined procedure new(_431, [Var,Var|_350], Var_350,[]) in
module class

Can anybody help ?

regards
P.E.

_____________________________________________________________
Patrice ENJALBERT                               Tel. 02 31 56 74 87

GREYC - UPRESA CNRS 6072                     Fax. 02 31 56 73 30
UNIVERSITE DE CAEN
(Campus 2, Bat Science 3,               courriel: patrice@info.unicaen.fr
Bureau S3-387)                  http: //www.info.unicaen.fr/~patrice
14032 CAEN CEDEX





[ Moderator's note:
This works fine in version 4.2.2 (you probably have 4.2.0).
Get the patch (the file zpatch.tgz) from our web site at
(http://www.icparc.ic.ac.uk/eclipse/download/release/4.2)
]
Received on Tue Feb 8 15:50:11 2000

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:07:05 PM GMT GMT