code: public void encodeAMO(final MiniSatStyleSolver s, final LNGIntVector lits) {
      switch (this.amoEncoding) {
        case LADDER:
          this.ladder.encode(s, lits);
          break;
        default:
          throw new IllegalStateException("Unknown AMO encoding: " + this.amoEncoding);
      }
    }
docs: Encodes an AMO constraint in the given solver.
  @param s    the solver
  @param lits the literals for the constraint
  @throws IllegalStateException if the AMO encoding is unknown