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 .