/*
   * operation of this covenant
   *
   * i.e. Satsolver::INCLUDE_SOLVABLE_PROVIDES
   *
   */
  int cmd()