Method qConstraint

contribs/quacode/examples/qbf.cpp:95–97

    return _printStrategy.value();
  }
  bool qConstraint(void) const {
    return _qConstraint.value();
  }
  /// Print help message
  virtual void help(void) {
    Options::help();