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

[Chris J. <ch...@bu...>]

2008/6/18 Ian Gent <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.

However (and this is one thing we will change recently), at the moment
you should NOT only put a few of your variables in the search
ordering, as in some cases this can lead to you getting incorrect
solutions (as Minion doesn't check that all the other variables take
values).

Very soon, we intend to change this behaviour, so Minion does search
over all the variables not in the variable ordering, but only looks
for a single solution to them.

Chris