Method setup

test/ldsb.cpp:796–809

Setup problem constraints and symmetries

    static const int u = 8;
    /// Setup problem constraints and symmetries
    static void setup(Home home, IntVarArray& xs) {
      TupleSet tuples(3);
      tuples.add({1,1,1}).add({4,4,4}).add({7,7,7})
        .add({0,1,5}).add({0,1,8}).add({3,4,2})
        .add({3,4,8}).add({6,7,2}).add({6,7,5})
        .finalize();
      extensional(home, xs, tuples);

      // Values 0,1,2 are symmetric with 3,4,5, and with 6,7,8.
      IntArgs values({0,1,2, 3,4,5, 6,7,8});
      Symmetries s;
      s << ValueSequenceSymmetry(values, 3);
      branch(home, xs, INT_VAR_NONE(), INT_VAL_MIN(), s);
    }
    /// Compute list of expected solutions
    static std::vector<IntArgs> expectedSolutions(void) {
      static std::vector<IntArgs> expected;