Re: [Minion-general] Unique solutions and non-printed variables

[Ian G. <ip...@cs...>]

On 18 Jun 2008, at 22:01, Gregory Maxwell wrote:

> Is it the intended behavior that solutions which differ only in
> non-printed variables be treated as distinct solutions?

Yes.

The variables that the search process cares about are the search  
variables.

>  I found this
> somewhat surprising.


I see your point.   I doubt we will change this soon though.

--
Ian Gent
School of Computer Science, University of St Andrews, St Andrews,  
Fife, UK, KY15 9SX
http://www.cs.st-and.ac.uk/~ipg.  +44 1334 463247.   ip...@cs...
The University of St Andrews is a charity registered in Scotland : No  
SC013532