NEWS
changeset 48402 327ebf1c42a8
parent 48371 3a5a5a992519
child 48428 ffa0618cc4d4
equal deleted inserted replaced
48401:e740216ca28d 48402:327ebf1c42a8
    44 failures, enable the configuration option "z3_with_extensions".
    44 failures, enable the configuration option "z3_with_extensions".
    45 Minor INCOMPATIBILITY.
    45 Minor INCOMPATIBILITY.
    46 
    46 
    47 * Sledgehammer:
    47 * Sledgehammer:
    48 
    48 
       
    49   - Added MaSh relevance filter based on machine-learning; see the
       
    50     Sledgehammer manual for details.
    49   - Rationalized type encodings ("type_enc" option).
    51   - Rationalized type encodings ("type_enc" option).
    50   - Renamed options:
    52   - Renamed options:
    51       max_relevant ~> max_facts
    53       max_relevant ~> max_facts
    52       relevance_thresholds ~> fact_thresholds
    54       relevance_thresholds ~> fact_thresholds
    53 
    55