The solution is better than the best ever found solution when it has more
variables assigned. In the case, when both solutions have the same number of
assigned variables, the better solution is the one with smaller total value,
i.e., the sum of Value.toDouble(Assignment) over all
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.