private boolean afterCommaSearch(RealVariable realVar,Collection<Constraint<?>> cnstr) throws SolverTimeoutException {
  boolean improvement=false;
  int maxPrecision=realVar.getMaxValue() > Float.MAX_VALUE ? 15 : 7;
  for (int precision=1; precision <= maxPrecision; precision++) {
    chopOffPrecision(precision,maxPrecision == 7);
    log.debug("Current precision: " + precision);
    final double delta=Math.pow(10.0,-precision);
    final double factor=2;
    if (doRealSearch(delta,factor))     improvement=true;
    if (this.checkpointedDistance <= 0) {
      break;
    }
  }
  return improvement;
}

private boolean afterCommaSearch ( RealVariable realVar , Collection < Constraint < ? > > cnstr ) throws SolverTimeoutException { boolean improvement = false ; int maxPrecision = realVar . getMaxValue ( ) > Float . MAX_VALUE ? 15 : 7 ; for ( int precision = 1 ; precision <= maxPrecision ; precision ++ ) { chopOffPrecision ( precision , maxPrecision == 7 ) ; log . debug ( "Current precision: " + precision ) ; final double delta = Math . pow ( 10.0 , - precision ) ; final double factor = 2 ; if ( doRealSearch ( delta , factor ) ) improvement = true ; if ( this . checkpointedDistance <= 0 ) { break ; } } return improvement ; }
try to optimize the digits after the comma
