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);
    }
  }
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 ) ; } }
Creates an empty SAT Solver.
@return the empty SAT solver