[gecode-users] AllDiff_except_0

[mehdi m]

Hi,
Ok.For the moment i did it with cardinality constraint (count) with an upper bound of 1, but i do not know how far the propagator is really strong since i put it in a loop for every possible value except 0 !
It will be useful to put the AllDiff_except_value constraint in the Gecode’s wishlist.
Cheers,Mehdi M--------------
To: users at gecode.org
From: jean-noel.monette at it.uu.se
Date: Tue, 27 Oct 2015 09:44:30 +0100
Subject: Re: [gecode-users] AllDiff_except_0


  
    
  
  
    Hi,

    

    Another way to do it is to use a global cardinality constraint
    (called "count" in Gecode) with an upper bound of 1 for all values,
    except 0 for which you put any suitable large value. This requires
    to know the list of possible values in advance.

    

    Cheers,

    

    JN

    

    On 2015-10-27 09:38, Christian Schulte
      wrote:

    
    
      
      
      
      
        Hi,
         
        No,
            unfortunately not. If you need it really badly, I could put
            it on Gecode’s wishlist.
         
        For
            the time being, you would have to resort to using
            reification.
         
        Cheers
        Christian
         
        
          --
          Christian
              Schulte, www.gecode.org/~schulte
          Professor
              of Computer Science, KTH, cschulte at kth.se
          Expert
              Researcher, SICS, cschulte at sics.se
        
         
        
          
            From:
                users-bounces at gecode.org
                [mailto:users-bounces at gecode.org] On Behalf Of mehdi
                m

                Sent: Monday, October 26, 2015 08:26 PM

                To: users at gecode.org

                Subject: [gecode-users] AllDiff_except_0
          
        
         
        
          Hi
              everyone,
          
             
          
          
            Is
                there the constraint (AllDiff_except_0) in gecode ? 
          
          
             
          
          
            Thanks. 
          
        
      
      

      
      

      _______________________________________________
Gecode users mailing list
users at gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users

    
    

  


_______________________________________________
Gecode users mailing list
users at gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users 		 	   		  
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20151027/0ed94ec0/attachment-0001.html>