Method permutation

examples/efpa.cpp:94–94

Whether to use permutation constraints. Only active if d=4

  /// Whether to use permutation constraints. Only active if d=4
  bool permutation(void) const { return d() == 4 && _permutation.value(); }
  /// Whether to use symmetry breaking.
  bool symmetry(void) const { return _symmetry.value(); }
};