code: static void runPartialLearner() {
  
          // construct a (state local input) simulator membership query oracle
          StateLocalInputMealyOracle<Integer, OutputAndLocalInputs<Integer, Character>> mqOracle =
                  new StateLocalInputSULOracle<>(SUL);
  
          // construct L* instance
          PartialLStarMealy<Integer, Character> lstar =
                  new PartialLStarMealyBuilder<Integer, Character>().withOracle(mqOracle)
                                                                    .withCexHandler(ObservationTableCEXHandlers.RIVEST_SCHAPIRE)
                                                                    .create();
  
          // here, we simply use an equivalence check for the original automaton model
          StateLocalInputMealySimulatorEQOracle<Integer, Character> eqOracle =
                  new StateLocalInputMealySimulatorEQOracle<>(TARGET);
  
          // construct the experiment
          // note, we can't use the regular MealyExperiment (or MooreExperiment) because the output type of our hypothesis
          // is different from our membership query type
          Experiment<StateLocalInputMealyMachine<?, Integer, ?, Character>> experiment =
                  new Experiment<>(lstar, eqOracle, INPUTS);
  
          // run experiment
          experiment.run();
  
          // get learned model
          MealyMachine<?, Integer, ?, Character> result = experiment.getFinalHypothesis();
  
          // report results
          System.out.println("-------------------------------------------------------");
  
          System.out.println("States: " + result.size());
          System.out.println("Sigma: " + INPUTS.size());
  
          System.out.println("-------------------------------------------------------");
  
          System.out.println("Final observation table:");
          new ObservationTableASCIIWriter<>().write(lstar.getObservationTable(), System.out);
      }
docs: Uses the raw {@link StateLocalInputSUL} to infer a (potentially) partial {@link MealyMachine}.