equal
deleted
inserted
replaced
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 |