Class SolutionChecker

  • All Implemented Interfaces:
    XCallbacks, XCallbacks2

    public final class SolutionChecker
    extends Object
    implements XCallbacks2
    This class allows us to check solutions and bounds obtained for XCSP3 instances.
    Author:
    Gilles Audemard and Christophe Lecoutre