Method Schur

examples/schurs-lemma.cpp:89–102

Actual model

public:
  /// Actual model
  Schur(const SchurOptions& opt)
    : Script(opt), box(*this,opt.n,1,opt.c) {
    int n = opt.n;

    // Iterate over balls and find triples
    for (int i=1; i<=n; i++)
      for (int j=1; i+j<=n; j++)
        rel(*this, {box[i-1],box[j-1],box[i+j-1]}, IRT_NQ);

    // Break value symmetries
    precede(*this, box, IntArgs::create(opt.c, 1));

    branch(*this, box, INT_VAR_AFC_SIZE_MAX(opt.decay()), INT_VAL_MIN());
  }
  /// Print solution
  virtual void
  print(std::ostream& os) const {