code: public Assignment model(final BDD bdd) {
      final int modelBDD = this.kernel.satOne(bdd.index());
      return createAssignment(modelBDD);
    }
docs: Returns an arbitrary model for a given BDD or {@code null} if there is none.
  @param bdd the BDD
  @return an arbitrary model of the BDD