Computation of violated initial values (minimal perturbation problem).
It is using Constraint.isConsistent(Value, Value) to find out what
initial values (of different variables) cannot be assigned when an arbitrary
value is assigned to a variable. This information is computed in advance,
before the solver is executed. It is used for better estimation of
perturbation penalty (see
PerturbationsCounter) when a value
is to be assigned to a variable.
This library is free software; you can redistribute it and/or modify
it under the terms of the GNU Lesser General Public License as
published by the Free Software Foundation; either version 3 of the
License, or (at your option) any later version.
This library is distributed in the hope that it will be useful, but
WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
Lesser General Public License for more details.