Return-path: Received: from mail-we0-x230.google.com (mail-we0-x230.google.com [IPv6:2a00:1450:400c:c03::230]) by mx5.kth.se (Postfix) with ESMTPS id C9A29240146 for ; Sun, 10 Nov 2013 22:17:12 +0100 (CET) Received: from mx5.kth.se ([130.237.32.10]) by mailscan-3.sys.kth.se (mailscan-3.sys.kth.se [130.237.48.170]) (amavisd-new, port 10024) with LMTP id QuOBM10fN5lc for ; Sun, 10 Nov 2013 22:17:26 +0100 (CET) Received: by 10.194.191.193 with HTTP; Sun, 10 Nov 2013 13:17:11 -0800 (PST) Received: by mail-we0-f176.google.com with SMTP id w62so3823325wes.7 for ; Sun, 10 Nov 2013 13:17:12 -0800 (PST) Received: from mailscan-3.sys.kth.se (mailscan-3.sys.kth.se [130.237.48.170]) by mx5.kth.se (Postfix) with ESMTP id 5B0C6240147 for ; Sun, 10 Nov 2013 22:17:29 +0100 (CET) Received: from mx5.kth.se (130.237.32.10) by EXHUB2.ug.kth.se (130.237.32.137) with Microsoft SMTP Server (TLS) id 14.2.347.0; Sun, 10 Nov 2013 22:17:29 +0100 Return-Path: From: "Vincent Barichard" Sender: To: References: <002401cede43$3b257a10$b1706e30$@kth.se> In-Reply-To: <002401cede43$3b257a10$b1706e30$@kth.se> Subject: Re: FW: [Gecode-bugs] New bug: Relational constraint gives inconsistent lowerbound for floating variables Date: Sun, 10 Nov 2013 22:17:11 +0100 Message-ID: MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_003E_01CEDEE6.43E63DD0" X-Mailer: Microsoft Office Outlook 12.0 X-Virus-Scanned: by amavisd-new at kth.se X-Spam-Flag: NO X-Spam-Score: -1.999 X-Spam-Level: X-Spam-Status: No, score=-1.999 tagged_above=-200 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, HTML_MESSAGE=0.001, SPF_PASS=-0.1] autolearn=no X-MS-Exchange-Organization-AuthSource: EXHUB2.ug.kth.se X-MS-Exchange-Organization-AuthAs: Anonymous X-Google-Sender-Auth: yalmimCADjcSgMA7zICb5JYghXE thread-index: Ac7eWkLUm+VDqLRPQJiCU0srxMHJ4Q==