code: public MiniSatStyleSolver newSATSolver() {
      switch (this.solverType) {
        case GLUCOSE:
          return new GlucoseSyrup(new MiniSatConfig.Builder().incremental(true).build(),
                  new GlucoseConfig.Builder().build());
        case MINISAT:
          return new MiniSat2Solver(new MiniSatConfig.Builder().incremental(false).build());
        default:
          throw new IllegalStateException("Unknown solver type: " + this.solverType);
      }
    }
docs: Creates an empty SAT Solver.
  @return the empty SAT solver