[eclipse-clp-users] small problem

From: Bogdan Tanasa <g-bogta_at_ida.liu.se>
Date: Wed, 16 Nov 2011 10:56:35 +0100

Hi guys,

 

I have a small version of the bin covering problem which I try to solve.

I have to versions of it, the second one uses reified constraints.

 

It happens that the second one give different results compared with the
first implementation which does not uses reified constraints.

 

Can you please tell me what is wrong_

 

Bogdan.

application/octet-stream attachment: lpPrg_v2.ecl

Received on Wed Nov 16 2011 - 10:17:39 CET

This message: [ Message body ]
Next message: Thorsten Winterer: "Re: [eclipse-clp-users] small problem"
Previous message: Joachim Schimpf: "Re: [eclipse-clp-users] Preventing bb_min from printing debug info"
Next in thread: Thorsten Winterer: "Re: [eclipse-clp-users] small problem"
Reply: Thorsten Winterer: "Re: [eclipse-clp-users] small problem"

Mail actions: [ respond to this message ] [ mail a new topic ]
Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ] [ by messages with attachments ]

This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET