code: public List<SatConstraint> listFromJSON(Model mo, JSONArray in) throws JSONConverterException {
          List<SatConstraint> l = new ArrayList<>(in.size());
          for (Object o : in) {
              if (!(o instanceof JSONObject)) {
                  throw new JSONConverterException("Expected an array of JSONObject but got an array of " + o.getClass().getName());
              }
              l.add((SatConstraint) fromJSON(mo, (JSONObject) o));
          }
          return l;
      }
docs: Convert a list of json-encoded sat-constraints.
  @param mo the model to rely on
  @param in the constraints to decode
  @return the constraint list. Might be empty
  @throws JSONConverterException if the conversion failed