2008/10/16 Giuseppe Di Guglielmo <giuseppe.diguglielmo_at_univr.it>: > Dear all, > I found the attached solution for my problem. > > I assume to have this situation: > 1. X and Y bit_vectors of size 8 > 2. constraint > X[2] == '1' & X[3] == '1' & Y[1] == '1' & Y[1] == X[4] > > Do you have more suggestions? Is it correct? > I would do this in the same way. At least basing on what you have written so far. You can use also the following equation: X=sum_i 2^{i-1} * x[i] where x_i in {0,1} and i=1, 2, ... SIZE. This equation binds binary and natural representation of X. Best regards -- [ Wit Jakuczun w.jakuczun_at_wlogsolutions.com ] [ WLOG Solutions http://wlogsolutions.com ]Received on Fri Oct 17 2008 - 17:16:09 CEST
This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET