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