[gecode-users] A small and simple example with tuple and extensional use

[Mikael Zayenz Lagerkvist]

2010/3/18 Claudio Cesar de Sá <claudio at colmeia.udesc.br>:
> Someone has an illustrative and small example that use  TupleSet and
> extensional constraints?

The Black-Hole patience example uses an extensional constraint
specified using a TupleSet to implement the constraint
   abs(x[i] - x[i+1]) in {1, 12}
by computing all allowable pairs of values for x[i] and x[i+1].


> Before an extensional constraints a branch is mandatory?

Not sure what you mean here. You might want to read the Modeling with
Gecode documentation [1].


Cheers,
Mikael

[1] http://www.gecode.org/documentation.html

-- 
Mikael Zayenz Lagerkvist, http://www.ict.kth.se/~zayenz/