Hi,
I have been playing with gecode for a few days and having a lot of fun.
My overall goal is to solve a large problem that has close to 6 million
values that must be distinct. So kind of like this:
IntVarArray b(*this, 5784689, 0, 5784688);
distinct(*this, b);
Notice that the b's are
of propagating distinct with ICL_DOM is quadratic).
Cheers,
Guido
On 21 Sep 2015, at 8:55 am, Neill Clift <neillcl...@live.com> wrote:
Hi,
I have been playing with gecode for a few days and having a lot of fun.
My overall goal is to solve a large problem that has close to 6 million
Hi,
I am having a blast with Gecode! I have this small system to demonstrate
something I want to improve in my code:
e[0] == v[0]
e[2] == v[1]
e[4] == v[2]
v[0] >= 1
v[1] + v[0] >= 2
v[2] + v[1] >= 1
v[2] >= 1
v[0] + v[1] + v[2] == 5
e[4] + e[2] + e[0] == b[0]
e[5] + e[2] + e[0] == b[3]
This
Hi,
I was wondering if people thought if constraint satisfaction in general
and more specifically gecode was suitable for solving quickly a system
system like this:
$a_1x_1+a_2x_2+...+a_rx_r=n$
$1 \leq a_i$
$1 \leq x_i \leq 2^l$
$1 \leq l$
All variables are integers. a_i is given. We want to
heers
> Christian
>
> --
> Christian Schulte, www.gecode.org/~schulte
> Professor of Computer Science, KTH, cschu...@kth.se
> Expert Researcher, SICS, cschu...@sics.se
>
>
> -Original Message-
> From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] O
indows 10
From: Christian Schulte <cschu...@kth.se>
Sent: Monday, March 12, 2018 9:31:36 AM
To: Neill Clift; users@gecode.org
Subject: RE: Extra level of variables needed for count?
No, the point is to not use variables, you can use sets with a single element
ins
tps://go.microsoft.com/fwlink/?LinkId=550986> for Windows 10
From: Christian Schulte <cschu...@kth.se>
Sent: Monday, March 12, 2018 2:31:26 AM
To: Neill Clift; users@gecode.org
Subject: RE: Extra level of variables needed for count?
Hi,
I think you sto
Hi,
I want to restrict the values of an array to members of a multiset. This is a
bit like distinct but can have repeated values.
So for example I want the values of b[0..7] to come from the multiset
{5,5,5,4,3,2,1,0}. The b’s are essentially a permutation of the multiset
Count seems to be the
